Universita di Genova, Dipartimento di Matematica, Via Dodecaneso 35, 16146 Genova, Italy;
heuristically guaranteed finite-precision; arithmetic;
机译:逐步间隔算术和模糊间隔算术
机译:算术函数的平均值短暂间隔和在大程度的算术进展中
机译:语言和算术因素的相互作用对成年性能影响算术词问题
机译:双浮法船舶波升荷载量的数值模拟
机译:算术知识和算术可定义性:四项研究。
机译:PNAS Plus:算术Coxeter组的算术
机译:双浮点算术
机译:轻型双浮海面的起飞性能