数学

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


zbMATH中的参考文献(参考 38篇文章 参考,3标准条款)

显示结果1到20,共38个。
按年份排序(引用)
  1. Abreu,S.;Dormans,J.;Febres Cordero,F.;Ita,H.;Page,B.;Sotnikov,V.:QCD中平面双环五部分子散射振幅的解析形式(2019年)
  2. Lecerf,Grégoire:关于Lickteig-Roy子结果算法的复杂性(2019)
  3. Harvey,David;van der Hoeven,Joris:关于整数矩阵乘法的复杂性(2018)
  4. Barkatou,Moulay A.;Jaroschek,Maximilian;Maddah,Suzy S.:具有正常交叉点的完全可积Pfaffian系统的形式解(2017)
  5. Minimair,Manfred:协作计算机代数(2017)
  6. 范德霍文,乔里斯;拉里尤,罗宾;勒克夫,格雷戈尔:实施快速无载波乘法(2017)
  7. Beliakov,Gleb;Matiyasevich,Yuri:使用任意精度算法计算行列式和子式的并行算法(2016)
  8. 稀疏多项式(Daniel Whitt Groves,2016年)
  9. Harvey,David;van der Hoeven,Joris;Lecerf,Grégoire:快速多项式乘法(\mathbbF_2^60)(2016)
  10. David Harvey;van der Hoeven,Joris;Lecerf,Grégoire:更快的整数乘法(2016)
  11. van der Hoeven,Joris:关于斜交算法的复杂性(2016)
  12. Van Der Hoeven,Joris;Lecerf,Grégoire;Quintin,Guillaume:Modular SIMD Algorithmin\textscMathemagix(2016年)
  13. Bank,Bernd;Giusti,Marc;Heintz,Joos;Lecerf,Grégoire;Matera,Guillermo;Solernó,Pablo:退化轨迹和多项式方程求解(2015)
  14. Bruno Grenet:Lacunaryx:计算缺项多项式的有界度因子(2015)阿尔十四
  15. Grenet,Bruno:Lacunaryx:计算缺项多项式的有界度因子(2015)
  16. Grenet,Bruno;van der Hoeven,Joris;Lecerf,Grégoire:使用切线Graeff变换在有限FFT场上进行随机寻根(2015)
  17. Lebreton,Romain:放松的Hensel提升三角组(2015)
  18. van der Hoeven,Joris:Mathemagix类型系统概述(2014)
  19. Berthomieu,Jérémy;Lecerf,Grégoire;Quintin,Guillaume:局部环上多项式寻根及其在纠错码中的应用(2013)
  20. Hodorog,Mădălina;Schicho,Josef:估计平面曲线奇异性类型的正则化方法(2013)