国际RRAM swMATH ID: 8769 软件作者: 诺伯特·米勒 说明: iRRAM:C++中的精确算法。iRRAM是一个非常有效的C++包,用于基于real-RAM概念的无错误实数运算。它的功能从三角函数的普通算术到线性代数,甚至包括稀疏矩阵。我们讨论了实现的概念和一些要点。 主页: http://irram.uni-trier.de/ 源代码: https://github.com/holgerthies/iRRAM-分析 相关软件: 真实图书馆;MPFR公司;xrc公司;Coq公司;哈斯克尔;MPFI公司;gmp公司;RZ公司;OCaml公司;PNM公司;raSAT系统;C-XSC公司;C-CoRN公司;github;堆芯2;伦敦北卡罗来纳州;阿里阿德涅;Mmxlib公司;VNODE公司;细屑++ 引用于: 51文件 全部的 前5名70位作者引用 8 穆勒,诺伯特·瑟。 4 安德烈·鲍尔 4 Franz Brauße 4 玛格丽塔·弗拉迪米洛夫娜·科罗维纳 4 弗洛里安·斯坦伯格 4 霍尔格·蒂斯 三 詹斯·布兰克 三 阿明·法朱迪安 三 米查尔·科内奇 三 马丁·齐格勒 2 伊斯托克·卡夫克勒 2 大卫·R·莱斯特。 2 艾克·诺依曼 2 Svetlana V.塞利瓦诺娃。 2 克里斯托夫·斯潘德尔 2 乔里斯·范德霍温 1 克里斯托夫·贝尔 1 乌尔里希·伯格 1 安德烈亚斯·拉斐尔·布拉斯 1 汉斯·尤尔根·博姆 1 基思·M·布里格斯。 1 埃尔维·布伦尼曼 1 蔡兆东 1 彼得·柯林斯。 1 纳鸿·德肖维茨 1 杜子琳 1 简·杜拉茨 1 马修·浮士德 1 沃尔夫冈·加伦斯基 1 保罗·高兰德 1 Laurent Granvilliers 1 尤里·古里维奇 1 彼得·赫特林。 1 阿道夫·希尔德布兰德。 1 平瓦塔里,Eiju 1 Hötzel Escardó,马汀 1 Imamura、Toshiyuki 1 岩崎秀也 1 川端康成 1 川村,秋田 1 康斯坦丁·科洛文 1 弗拉基克·雅科夫列维奇(Vladik Yakovlevich Kreinovich) 1 布兰尼米尔·兰博夫 1 马尔科·兰格 1 李俊贤 1 马西亚尔·罗梅罗、何塞·雷蒙多 1 Ménissier Morain,瓦莱里 1 莫伊塔巴·莫尼里 1 萨曼·莫尼里 1 大池Mukunoki 1 尤根·米勒 1 大田武史 1 Katsuhisa小崎 1 塞翁公园 1 西尔万·皮昂 1 马丁·莱因哈德 1 娜塔莉·雷沃 1 卡斯滕·罗西尼克·努格鲍尔 1 法布里斯·鲁利耶 1 克劳斯·迪特·施韦 1 马蒂亚斯·施罗德 1 克里斯托弗·A·斯通。 1 杉山麻仁 1 瓦利德·塔哈 1 Laurent Théry 1 Hideki Tsuiki 1 山本明弘 1 Yap,Chee-Keng先生 1 俞继洪 1 张,袁 全部的 前5名13连载 6 理论计算机科学 4 逻辑与代数程序设计杂志 三 计算机科学中的逻辑方法 2 计算机科学中的数学结构 1 ACM数学软件汇刊 1 模拟中的数学和计算机 1 SIAM数值分析杂志 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 机器学习 1 实验数学 1 可靠的计算 1 非线性科学与数值模拟中的通信 全部的 前5名10个领域引用 26 计算机科学(68-XX) 23 数值分析(65-XX) 17 数学逻辑和基础(03-XX) 4 动力系统和遍历理论(37至XX) 三 常微分方程(34-XX) 2 阶、格、有序代数结构(06-XX) 2 实际功能(26年X月X日) 2 测量和集成(28-XX) 1 数论(11-XX) 1 特殊功能(33至XX) 按年份列出的引文