...
机译:具有精确实数算法的抽象状态机中的2类有效性
Fernuniv Fac Math & Comp Sci D-58084 Hagen Germany;
Zhejiang Univ UIUC Inst Haining Peoples R China;
Abstract state machine; Type-2 theory of effectivity; Real arithmetic; Stream computation; Cauchy sequence;
机译:算术余弦变换:精确算法和近似算法
机译:使用PVS验证精确算法的算法
机译:定时抽象状态机语言:实时系统工程的抽象状态机
机译:精确实数运算的抽象状态机
机译:使用精确算术的Gomory切割平面算法。
机译:基于数字的开放算法(ABN):算术开发领域特定前体的一种有效教学方法
机译:精确算法的惰性算法
机译:使用为量子计算开发的精确算术库的p-adic循环码的算法和实现。