金纳克

GiNaC是一个C++库。它被设计成允许在同一屋檐下创建集成系统,将符号操作与更成熟的计算机科学领域(如计算密集型的数字应用、图形界面等)结合在一起。它是根据GNU通用公共许可证(GPL)的条款和条件分发的。GiNaC是一个迭代和递归的首字母缩写,GiNaC不是CAS,CAS代表计算机代数系统。它已经被专门开发成为xloops的替代引擎,目前该引擎由Maple CAS提供动力。然而,它并不局限于高能物理应用。它的设计是革命性的,与其他ca相反,它不尝试提供广泛的代数功能和简单的编程语言,而是接受给定的语言(C++),并通过一组代数功能对其进行扩展。困惑?请随意阅读这篇文章,它详细描述了吉纳克背后的哲学。它还讨论了一些设计原则和效率问题,尽管一些实现细节在编写之后已经发生了变化。


zbMATH参考文献(参考,1标准件)

显示68个结果中的1到20个。
按年份排序(引用)
  1. 五十、 Naterop,A.Signer,Y.Ulrich:handyG——Fortran中通用多段逻辑的快速数值计算(2020)不是zbMATH
  2. Saito,Asaki;Tamura,Jun Ichi;Yasutomi,Shin-Ichi:多维(p)-adic连分式算法(2020)
  3. 克劳德杜拉特(Claudo Dulas)2019年《大众工具》(Polyloge Dulogs)阿尔十四
  4. 冯曼特费尔,安德烈亚斯;夏宾格,罗伯特M.:平面主积分四环路形状因子(2019年)
  5. Bianchi,Marco S.;Leoni,Matias:A(QQ\toQQ)平面双盒规范形式(2018)
  6. Borowka,Sophia;Gehrmann,Thomas;Hulme,Daniel:多尺度Feynman积分的系统逼近(2018)
  7. 德尔杜卡,维托里奥;德鲁克,斯特凡;德鲁蒙德,詹姆斯;杜尔,克劳德;杜拉特,法尔科;马祖卡,罗宾;帕帕塔纳西奥,乔治奥斯;韦贝克,布拉姆:超过领先对数精度的多正则运动学中的七胶子振幅(2018)
  8. Gehrmann,T.;Henn,J.M.;Lo Presti,N.A.:无质量平面散射振幅的五边形函数(2018)
  9. Kisil,Vladimir V.:Möbius-Lie几何的扩展及其在GiNaC库中的实现(2018)
  10. Kremer,Gereon;Ábrahám,Erika:用\textbfSMT RAT解决模块化战略SMT(2018)
  11. Lee,Roman N.;Smirnov,Alexander V.;Smirnov,Vladimir A.:通过奇点附近的展开式求解Feynman积分的微分方程(2018)
  12. Lee,Roman N.;Smirnov,Alexander V.;Smirnov,Vladimir A.:在特殊运动值下评估“椭圆”主积分:通过奇点附近的展开使用微分方程及其解(2018年)
  13. Vladimir V.Kisil:Moebius Lie几何及其扩展讲座(2018)阿尔十四
  14. 王国兴;徐晓峰;杨立林;朱华星:顶夸克对生产的次优序软函数(2018)
  15. 安东·K·赛罗尔;马里奥·米特;奈尔斯·斯特罗特霍夫:FormTracer。Mathematica跟踪包使用表单(2017)
  16. Dixon,Lance J.;von Hippel,Matt;McLeod,Andrew J.;Trnka,Jaroslav:平面(\mathcalN=4)SYM六点振幅的多回路正性(2017)
  17. Henn,Johannes;Smirnov,Alexander V.;Smirnov,Vladimir A.;Steinhauser,Matthias:平面极限中的大质量三环形状因子(2017)
  18. Kisil,Vladimir V.:Möbius变换的庞加莱延伸(2017)
  19. Thomas Luthe;Maier,Andreas;Marquard,Peter;Schröder,York:QCD在五个环上的完全重整化(2017)
  20. 马里奥·普拉萨:epsilon:寻找主积分规范基础的工具(2017)阿尔十四