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 35 articles , 1 standard article )
Showing results 1 to 20 of 35.
Sorted by year (- 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)
- Maier, A.; Marquard, P.: Low-energy moments of non-diagonal quark current correlators at four loops (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)
- 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)
- Bonciani, R.; Ferroglia, A.; Gehrmann, T.; Von Manteuffel, A.; Studerus, C.: Two-loop leading color corrections to heavy-quark pair production in the gluon fusion channel (2011)
- Gracey, J.A.: Two loop renormalization of the $n = 2$ Wilson operator in the RI’/SMOM scheme (2011)
- Eröcal, Burçin; Stein, William: The Sage project: unifying free mathematical software to create a viable alternative to Magma, Maple, Mathematica and Matlab (2010)
- Kredel, Heinz; Jolly, Raphael: Generic, type-safe and object oriented computer algebra software (2010)
- Studerus, C.: Reduze -- Feynman integral reduction in C++ (2010)
- Verdoolaege, Sven: isl: An integer set library for the polyhedral model (2010)
- Bogner, Christian; Weinzierl, Stefan: Resolution of singularities for multi-loop integrals (2008)
- Grabner, Markus; Pock, Thomas; Gross, Tobias; Kainz, Bernhard: Automatic differentiation for GPU-accelerated 2D/3D registration (2008)
- Grządziel, Mariusz: Quadratic subspaces and construction of Bayes invariant quadratic estimators of variance components in mixed linear models (2008)
- Kreimer, Dirk; Yeats, Karen: Recursion and growth estimates in renormalizable quantum field theory (2008)