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 47 articles , 1 standard article )
Showing results 1 to 20 of 47.
Sorted by year (- Lee, Roman N.; Smirnov, Alexander V.; Smirnov, Vladimir A.: Solving differential equations for Feynman integrals by expansions near singular points (2018)
- 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)
- 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
- Corzilius, Florian; Kremer, Gereon; Junges, Sebastian; Schupp, Stefan; Ábrahám, Erika: SMT-RAT: an open source C++ 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)
- Laenen, Eric; Larsen, Kasper J.; Rietkerk, Robbert: Position-space cuts for Wilson line correlators (2015)
- Maier, Andreas; Marquard, P.: Low-energy moments of non-diagonal quark current correlators at four loops (2015)
- Navarro, Cristobal A.; Canfora, Fabrizio; Hitschfeld, Nancy; Navarro, Gonzalo: Parallel family trees for transfer matrices in the Potts model (2015)
- Panzer, Erik: Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals (2015)
- Caron-Huot, Simon; Henn, Johannes M.: Iterative structure of finite loop integrals (2014)
- Dixon, Lance J.; Drummond, James M.; Duhr, Claude; Pennington, Jeffrey: The four-loop remainder function and multi-Regge behavior at NNLLA in planar $ \mathcalN = 4$ super-Yang-Mills theory (2014)
- D.A. Bolotin, S.V. Poslavsky: Introduction to Redberry: a computer algebra system designed for tensor manipulation (2013) arXiv
- Drummond, James; Duhr, Claude; Eden, Burkhard; Heslop, Paul; Pennington, Jeffrey; Smirnov, Vladimir A.: Leading singularities and off-shell conformal integrals (2013)
- Kisil, Vladimir V.: Induced representations and hypercomplex numbers (2013)
- Amaran, Satyajith; Sahinidis, Nikolaos V.: Global optimization of nonlinear least-squares problems by branch-and-bound and optimality constraints (2012)
- Kisil, Vladimir V.: Geometry of Möbius transformations. Elliptic, parabolic and hyperbolic actions of SL$_2(\Bbb R)$. With DVD-ROM (2012)
- Liberti, Leo: Reformulations in mathematical programming: automatic symmetry detection and exploitation (2012)