CR-LIBM公司 swMATH ID: 18090 软件作者： C.Daramy、D.Defour、F.de Dinechin、J.-M.Muller 描述： CR-LIBM，一个正确舍入的基本函数库。我们提出了一个新的基本函数库，称为CR-LIBM。该库实现了Ansi99 C标准定义的各种函数。它提供了正确的四舍五入函数：返回的结果始终是最接近精确结果的浮点数。在编写这个库时，我们的主要目标是验证舍入是否正确，并使其速度合理，内存利用率低。因此，我们的库可以在实际问题上毫无问题地使用。 主页： http://procedures.spedigitallibrary.org/procedures.aspx？articleid=826908 相关软件： 索利娅;SLEEF公司;弗洛克;国际实验室;ARPREC公司;MPFR公司;马查尔;gmp公司;SMTCoq公司;mctoolbox软件;Coq公司;开普勒98;喀麦隆;DPE公司;轻弹;双倍的;fpLLL公司;SoftFloat软件;NTL公司;MPFI公司 引用于： 6文件 全部的 前5名16位作者引用 2 Jean-Michel穆勒 2 马可·内梅耶 1 纪尧姆·贝托伦 1 尼古拉斯·布鲁尼 1 佛罗伦萨迪内钦 1 戈杜诺夫，A.N。 1 奥利弗·海姆利希 1 克劳德·皮埃尔·珍妮罗德 1 米亚拉Joldeş 1 文森特·列夫雷 1 埃里克·马丁·多雷尔 1 纪尧姆·梅尔金德 1 娜塔莉·雷沃 1 皮埃尔·鲁克斯 1 谢尔盖·托雷斯 1 Wolff von Gudenberg，于尔根 3篇连载文章中引用 1 计算 1 编程和计算机软件 1 软计算 在4个字段中引用 5 数值分析（65-XX） 三 计算机科学（68至XX） 1 实际功能（26年X月X日） 1 特殊功能（33至XX） 按年份列出的引文