马瑟马吉克斯 swMATH ID: 553 软件作者: 乔里斯·范德霍温、格雷戈伊尔·勒塞夫、伯纳德·穆兰 描述: Mathemagix:面向符号和认证数字计算的大规模编程。由90年代的Joris van der Hoeven协调,Mathemagix项目旨在为符号和认证数字算法设计科学编程语言。这种语言可以编译和解释,它的特点是具有类和类别的强类型系统。还正在开发几个C++库,主要是与Bernard Mourrain和Philippe Trébuchet合作开发的,用于多项式、幂级数和矩阵的初等运算,特别注意效率和数值稳定性。在我的演讲中,我将概述该语言、C++库的设计和内容,并将说明使用球和区间进行认证数字计算的可能性 主页: http://www.mathemagix.org/www/main/index.en.html 相关软件: gmp公司;枫树;打火石;岩浆;克罗内克;SageMath公司;MPFR公司;单一;数学软件;AXIOM公司;Mmxlib公司;LinBox(接线盒);NTL公司;FGb公司;CoCoALib公司;腔隙动物;PARI/GP公司;英里/平方英尺;FFTW公司;间隙 引用于: 42文件 标准条款 3出版物描述软件,包括3出版物以zbMATH为单位 年份 中的模块化SIMD算法马塞马吉克斯. Zbl 1391.65003号乔里斯·范德霍温;格里戈伊尔·勒塞夫;纪尧姆·昆廷 2016 Mathemagix型系统概述。 Zbl 1352.68306号乔里斯·范德霍温 2014 Mathemagix:面向符号和认证数字计算的大规模编程。 Zbl 1294.68158号格里戈伊尔·勒塞夫 2010 全部的 前5名47位作者引用 22 乔里斯·范德霍温 12 格里戈伊尔·勒塞夫 4 杰雷米·伯托米厄 三 Diatta,Daouda Niang女士 三 大卫·哈维 三 伯纳德·穆兰 2 亚历山大·勃兰特 2 布鲁诺·格蕾特 2 罗曼·勒布雷顿 2 马克·莫雷诺·马扎 2 纪尧姆·昆廷 2 奥利维·鲁亚塔 1 塞缪尔·阿布鲁 1 穆罕默德·阿萨迪 1 伯尔尼银行 1 穆雷·A·巴卡图。 1 格列布·贝利亚科夫 1 蒂莫西·德弗里斯 1 克里斯托弗·多丽丝 1 多曼斯,J。 1 Febres Cordero,F。 1 福田、科美 1 马克·朱斯蒂 1 格罗夫斯·惠特曼 1 西里尔·格伦斯潘 1 海因茨,乔斯 1 梅德丽娜·霍多罗格 1 哈拉尔德·伊塔 1 马克西米利安·亚罗斯切克 1 加布里埃拉·杰罗尼莫 1 拉斐尔·乔利 1 迈克尔·乔斯维格 1 罗宾·拉里厄 1 苏西·马达赫。 1 Angelos Mantzaflaris公司 1 吉列尔莫·马特拉 1 尤里·弗拉基米罗维奇 1 曼弗雷德·米米奈尔 1 罗伯特·H·C·莫尔。 1 佩奇,本 1 罗宾·佩曼特尔 1 丹尼尔·罗什(Daniel S.Roche)。 1 胡安·萨比亚 1 约瑟夫·希乔 1 巴勃罗·索勒诺 1 高山,Nobuki 1 菲利普·特雷布歇 全部的 前5名13篇连载文章中引用 14 符号计算杂志 三 计算机代数中的ACM通信 2 理论计算机科学 2 工程、通信和计算中的应用代数 2 计算数学基础 1 ACM数学软件汇刊 1 比特币 1 复杂性杂志 1 波尔多流浪者杂志 1 国际理论与应用金融杂志 1 高能物理杂志 1 计算机科学课堂讲稿 1 分析组合数学在线杂志 全部的 前5名18个领域被引用 32 计算机科学(68至XX) 11 数值分析(65-XX) 9 数论(11-XX) 7 场论和多项式(12-XX) 7 交换代数(13-XX) 5 代数几何(14-XX) 2 复变量的函数(30年XX月) 2 常微分方程(34-XX) 2 近似值和展开值(41至XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 实际功能(26年X月X日) 1 几个复变量和分析空间(32-XX) 1 特殊功能(33至XX) 1 偏微分方程(35-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文