金纳克

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


zbMATH中的参考文献(参考文献78篇文章,第1条标准)

显示第1到第20个结果,共78个。
按年份排序(引用)
  1. 贝塞尔,马可;费斯蒂,恐龙:平方根的合理化(2021)
  2. 福契克,拉德克;Straka,Robert:格子Boltzmann方法的等效有限差分和偏微分方程(2021)
  3. 科夫曼,欧内斯托;费尔南德斯,乔奎因;Marzorati,Denise:大型ODE系统中的紧凑稀疏符号雅可比计算(2021)
  4. 平底船;切斯特诺夫,维斯沃德;Schomerus,Volker:来自Wilson loop OPE的多重Regge极限(2020)
  5. 布拉杰里,雅各布L。;麦克劳德,安德鲁J。;维古,克里斯蒂安;沃尔克,马提亚斯;冯希佩尔,马特;威廉,马提亚斯:找出字母:八角符号字母和代数数论(2020)
  6. 卡伦·霍特,西蒙;奇切林,德米特里;亨恩,约翰尼斯;张扬;Zoia,Simone:(\mathcalN=4)super Yang Mills和(\mathcalN=8)超重力(2020)中两圈五点振幅的多重限制
  7. 奇切林,D。;Sotnikov,V.:五个无质量粒子散射的五角大楼函数(2020)
  8. 五十、 Naterop,A.Signer,Y.Ulrich:handyG——Fortran中通用多段逻辑的快速数值计算(2020)不是zbMATH
  9. Roman N.Lee:Libra:多回路积分微分系统变换包(2020)阿尔十四
  10. 斋藤,朝日;田村,俊一;Yasutomi,Shin-Ichi:多维(p)-adic连分式算法(2020)
  11. 高基,纳撒利;Abate,Alessandro:海报摘要:StocHy——随机过程的自动验证和综合。(2019年)
  12. Claude Duhr,Falko Dulat:多段日志工具-面向大众的多段日志(2019)阿尔十四
  13. Kisil,Vladimir V.:Möbius-Lie几何及其扩展(2019)
  14. 冯曼特费尔,安德烈亚斯;Schabinger,Robert M.:四个环形状因子的平面主积分(2019)
  15. 比安奇,马可·S。;Leoni,Matias:A(QQ\toQQ)标准形式的平面双盒(2018)
  16. 博罗卡,索菲亚;盖尔曼,托马斯;Hulme,Daniel:多尺度Feynman积分的系统逼近(2018)
  17. 德尔杜卡,维托里奥;德鲁克,斯特凡;德拉蒙德,詹姆斯;杜尔,克劳德;杜拉特,法尔科;马祖卡,罗宾;帕帕塔纳西奥,乔治;Verbeek,Bram:超越领先对数精度的多瑞格运动学中的七胶子振幅(2018)
  18. 盖尔曼,T。;亨恩,J.M。;Lo Presti,N.A.:无质量平面散射振幅的五角大楼函数(2018)
  19. Kisil,Vladimir V.:Möbius-Lie几何的扩展及其在GiNaC库中的实现(2018)
  20. 克莱默,格雷恩;Ábrahám,Erika:模块化战略SMT解决方案与\textbfSMT RAT(2018)