×

真实图书馆

swMATH ID: 1977
软件作者： 布兰尼米尔·兰博夫
描述： RealLib：精确实数算法的高效实现本文介绍了用于精确实数计算的RealLib软件包。该库提供了经认证的精度，但对于不需要更高精度的问题，它试图以接近硬件浮点的性能来实现这一点。本文给出了该库设计的动机和特点，并将其与其他软件包进行了精确的实数运算比较。
主页： http://www.informatik.uni-trier.de/~ley/db/indexs/a-tree/l/Lambov:Branimir.html
关键词： 数值示例;有限算术;RealLib包;精确实数计算;硬件浮点
相关软件： 国际RRAM;MPFR公司;卢比;OCaml公司;xrc公司;伦敦北卡罗来纳州;gmp公司;稀疏矩阵;再现BLAS;堆芯2;github;Mmxlib公司;MPFI公司;哈斯克尔;促进;细屑++;VNODE公司;PNM公司;C-CoRN公司;HOL灯
引用于： 16文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
RealLib：精确实数运算的高效实现。 Zbl 1112.65137号
布兰尼米尔·兰博夫
2007
全部的 前5名

21位作者引用

5 安德烈·鲍尔
2 阿明·法朱迪安
2 伊斯托克·卡夫克勒
2 布兰尼米尔·兰博夫
2 克里斯托弗·斯通（Christopher A.Stone）。
1 乌尔里希·伯杰
1 伊夫·贝托特
1 安德烈亚斯·拉斐尔·布拉斯
1 Franz Brauße，弗兰兹
1 彼得·柯林斯。
1 纳鸿·德肖维茨
1 尤里·古里维奇
1 Imamura、Toshiyuki
1 岩崎、秀霞
1 川端康成
1 米查尔·科内奇
1 大池Mukunoki
1 大田武史
1 Katsuhisa小崎
1 乔里斯·范德霍温
1 马丁·齐格勒

4篇连载文章中引用

三 MSCS公司。计算机科学中的数学结构
1 纯逻辑与应用逻辑年鉴
1 逻辑与计算杂志
1 计算机科学中的逻辑方法
全部的 前5名

在6个字段中引用

10 计算机科学（68至XX）
8 数学逻辑和基础（03-XX）
5 数值分析（65-XX）
2 阶、格、有序代数结构（06-XX）
1 测量和集成（28-XX）
1 常微分方程（34-XX）

按年份列出的引文