GiNaC
GiNaC is a C++ library. It is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like computation- intense numeric applications, graphical interfaces, etc.) under one roof. It is distributed under the terms and conditions of the GNU general public license (GPL). GiNaC is an iterated and recursive acronym for GiNaC is Not a CAS, where CAS stands for Computer Algebra System. It has been specifically developed to become a replacement engine for xloops which is up to now powered by the Maple CAS. However, it is not restricted to high energy physics applications. Its design is revolutionary in a sense that contrary to other CAS it does not try to provide extensive algebraic capabilities and a simple programming language but instead accepts a given language (C++) and extends it by a set of algebraic capabilities. Perplexed? Feel free to read this paper which describes the philosophy behind GiNaC in more detail. It also addresses some design principles and questions of efficiency, although some implementation details have changed since it was written.
Keywords for this software
References in zbMATH (referenced in 64 articles , 1 standard article )
Showing results 1 to 20 of 64.
Sorted by year (- Claude Duhr, Falko Dulat: PolyLogTools - Polylogs for the masses (2019) arXiv
- Borowka, Sophia; Gehrmann, Thomas; Hulme, Daniel: Systematic approximation of multi-scale Feynman integrals (2018)
- Del Duca, Vittorio; Druc, Stefan; Drummond, James; Duhr, Claude; Dulat, Falko; Marzucca, Robin; Papathanasiou, Georgios; Verbeek, Bram: The seven-gluon amplitude in multi-Regge kinematics beyond leading logarithmic accuracy (2018)
- Gehrmann, T.; Henn, J. M.; Lo Presti, N. A.: Pentagon functions for massless planar scattering amplitudes (2018)
- Kisil, Vladimir V.: An extension of Möbius-Lie geometry with conformal ensembles of cycles and its implementation in a GiNaC library (2018)
- Kremer, Gereon; Ábrahám, Erika: Modular strategic SMT solving with \textbfSMT-RAT (2018)
- Lee, Roman N.; Smirnov, Alexander V.; Smirnov, Vladimir A.: Solving differential equations for Feynman integrals by expansions near singular points (2018)
- Lee, Roman N.; Smirnov, Alexander V.; Smirnov, Vladimir A.: Evaluating `elliptic’ master integrals at special kinematic values: using differential equations and their solutions via expansions near singular points (2018)
- Vladimir V. Kisil: Lectures on Moebius-Lie Geometry and its Extension (2018) arXiv
- Wang, Guoxing; Xu, Xiaofeng; Yang, Li Lin; Zhu, Hua Xing: The next-to-next-to-leading order soft function for top quark pair production (2018)
- Cyrol, Anton K.; Mitter, Mario; Strodthoff, Nils: FormTracer. A Mathematica tracing package using FORM (2017)
- Dixon, Lance J.; von Hippel, Matt; McLeod, Andrew J.; Trnka, Jaroslav: Multi-loop positivity of the planar (\mathcalN= 4 ) SYM six-point amplitude (2017)
- Henn, Johannes; Smirnov, Alexander V.; Smirnov, Vladimir A.; Steinhauser, Matthias: Massive three-loop form factor in the planar limit (2017)
- Kisil, Vladimir V.: Poincaré extension of Möbius transformations (2017)
- Luthe, Thomas; Maier, Andreas; Marquard, Peter; Schröder, York: Complete renormalization of QCD at five loops (2017)
- Mario Prausa: epsilon: A tool to find a canonical basis of master integrals (2017) arXiv
- Stanislav Poslavsky: Rings: an efficient Java/Scala library for polynomial rings (2017) arXiv
- Broedel, Johannes; Sprenger, Martin: Six-point remainder function in multi-Regge-kinematics: an efficient approach in momentum space (2016)
- Corzilius, Florian; Kremer, Gereon; Junges, Sebastian; Schupp, Stefan; Ábrahám, Erika: \textttSMT-RAT: an open source \textttC++ toolbox for strategic and parallel SMT solving (2015)
- Jäger, Barbara; von Manteuffel, Andreas; Thier, Stephan: Slepton pair production in association with a jet: NLO-QCD corrections and parton-shower effects (2015)