数学

Mathemagix:面向符号和认证数字计算的大规模编程。Mathemagix项目由90年代的Joris van der Hoeven协调,旨在为符号和认证的数字算法设计一种科学的编程语言。这种语言可以编译和解释,它的特点是具有类和类别的强类型系统。一些C++库也正在开发中,主要是与Bernard Mourrain和Philippe Trébuchet一起开发,用于多项式、幂级数和矩阵的基本运算,特别注意效率和数值稳定性。在我的演讲中,我将对C++库的语言、设计和内容进行概述,并将说明使用球和区间进行认证的数值计算的可能性


zbMATH中的参考文献(参考文献43条,3标准条款)

显示第1到第20个结果,共43个。
按年份排序(引用)
  1. 阿萨迪,穆罕默德;勃兰特,亚历山大;Moreno Maza,Marc:子合成链的计算方案(2021)
  2. 克里斯托弗·多里斯:岩浆中的精确(p)-adic计算(2021)
  3. 范德霍温,乔里斯;Lecerf,Grégoire:关于多项式系统解的复杂性指数(2021)
  4. 格伦斯潘,西里尔;Van Der Hoeven,Joris:金融的有效渐近分析(2020)
  5. 阿布鲁,S。;冬眠,J。;科德罗费布雷斯F。;Ita,H。;页码B。;Sotnikov,V.:QCD中平面双环五部分子散射振幅的解析形式(2019)
  6. Lecerf,Grégoire:关于Lickteig-Roy子结果算法的复杂性(2019)
  7. 哈维,大卫;van der Hoeven,Joris:关于整数矩阵乘法的复杂性(2018)
  8. 杰罗尼莫,加布里埃拉;萨比亚,胡安:稀疏结果和直线程序(2018)
  9. 巴卡图,穆莱A。;雅罗斯切克,马克西米利安;Maddah,Suzy S.:具有正常交叉点的完全可积Pfaffian系统的形式解(2017)
  10. Minimair,Manfred:协作计算机代数(2017)
  11. 范德霍温,乔里斯;拉鲁,罗宾;Lecerf,Grégoire:实现快速无载波乘法(2017)
  12. 贝里亚科夫,格雷布;Matiyasevich,Yuri:使用任意精度算法计算行列式和子式的并行算法(2016)
  13. 格罗夫斯,A.惠特曼;Roche,Daniel S.:FLINT中的稀疏多项式(2016)
  14. 哈维,大卫;范德霍温,乔里斯;Lecerf,Grégoire:更快的整数乘法(2016)
  15. 哈维,大卫;范德霍温,乔里斯;Lecerf,Grégoire:快速多项式乘法(\mathbbF_2^60)(2016)
  16. van der Hoeven,Joris:关于斜交算法的复杂性(2016)
  17. 范德霍温,乔里斯;勒克尔夫,格雷戈伊尔;Quintin,Guillaume:模块化SIMD算法in\textscMathemagix(2016)
  18. 伯纳德银行;朱斯蒂,马克;海因茨,乔斯;勒克尔夫,格雷戈伊尔;马特拉,吉勒莫;Solernó,Pablo:简并轨迹与多项式方程求解(2015)
  19. Bruno Grenet:Lacunaryx:计算缺项多项式的有界度因子(2015)阿尔十四
  20. Grenet,Bruno:Lacunaryx:计算缺项多项式的有界度因子(2015)