Recursive counterexamples; Higher-order arithmetic; Specker sequences; Nets;
机译:通过反例指导实例化量化线性算法
机译:戈德尔对根岑第一个算术一致性证明的重新表述:无反例解释
机译:算术THETA升降机和算术GAN-GAN-GROS-PRASAD猜想为单一组
机译:将递归反例提升为高阶算法
机译:用于超低噪声数字算法的递归细胞非线性神经网络。
机译:新手起重器比直腿起重器具有比经验丰富的起重器更大的后凸起重姿势
机译:算术递归平均值作为递归加权幂均值的一个实例
机译:在递归数字滤波器中减少由于算术运算引起的量化误差的误差反馈