The word spigot indicates that the "digits" (generally in a widened meaning) of the result number are extracted successively firm left to right (as if pumped through a spigot) by using only integer arithmetic, as opposed to the iterative approach, where the result number as the whole is improved after each iteration step by using (high-precision) floating-point arithmetic. The approach of spigot computing as used in papers by S. Kamal Abdaly (Comm. ACM 13 (1970), S. Rabinowitz and S. Wagon (American Mathematical Monthly 102 (3) (1995)), A. H.J.Sale (Comput. J. 11(1968)) is now systematized and correctness is formally proved; the way for achieving an arbitrary accuracy is shown.
展开▼
机译:单词spigot表示结果数字的“数字”(通常具有较宽的含义)是通过仅使用整数算术而不是迭代方法而从左到右(从泵抽出)连续地从左到右连续提取的,其中通过使用(高精度)浮点算法,可以在每个迭代步骤之后整体提高结果数。 S. Kamal Abdaly(Comm。ACM 13(1970),S。Rabinowitz和S.Wagon(American Mathematical Monthly 102(3)(1995)),AHJSale(Comput。J.现在系统化(11(1968)),并正式证明了正确性;给出了实现任意精度的方法。
展开▼