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 40 articles , 1 standard article )
Showing results 1 to 20 of 40.
Sorted by year (- 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)
- 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)
- 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)
- Alnæs, Martin Sandve; Mardal, Kent-André: On the efficiency of symbolic computations combined with code generation for finite element methods (2010)
- 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)