Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language

From MaRDI portal
Publication:1599529

DOI10.1006/jsco.2001.0494zbMath1017.68163OpenAlexW2061217545MaRDI QIDQ1599529

Richard Kreckel, Alexander Frink, Christian W. Bauer

Publication date: 11 June 2002

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.2001.0494



Related Items

One-loop integrals with XLOOPS-GiNaC, Iterative structure of finite loop integrals, The four-loop remainder function and multi-Regge behavior at NNLLA in planar \( \mathcal{N} = 4\) super-Yang-Mills theory, Pentagon functions for massless planar scattering amplitudes, SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving, Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals, Six-point remainder function in multi-Regge-kinematics: an efficient approach in momentum space, Position-space cuts for Wilson line correlators, INTEGRATION BY PARTS: AN INTRODUCTION, Parallel family trees for transfer matrices in the Potts model, Multi-Regge limit of the two-loop five-point amplitudes in \(\mathcal{N} = 4\) super Yang-Mills and \(\mathcal{N} = 8\) supergravity, Expansion around half-integer values, binomial sums, and inverse binomial sums, Pentagon functions for scattering of five massless particles, The next-to-next-to-leading order soft function for top quark pair production, The seven-gluon amplitude in multi-Regge kinematics beyond leading logarithmic accuracy, Notes on generalised nullvectors in logarithmic CFT, Substructure exploitation of a nonsmooth Newton method for large-scale optimal control problems with full discretization, Massive three-loop form factor in the planar limit, Evaluating `elliptic' master integrals at special kinematic values: using differential equations and their solutions via expansions near singular points, Modular strategic SMT solving with \textbf{SMT-RAT}, The polarized three-loop anomalous dimensions from on-shell massive operator matrix elements, Beam functions for \(N\)-jettiness at \(\mathrm{N^3LO}\) in perturbative QCD, \(\varepsilon\)-factorized differential equations for two-loop non-planar triangle Feynman integrals with elliptic curves, Rooting out letters: octagonal symbol alphabets and algebraic number theory, Global optimization of nonlinear least-squares problems by branch-and-bound and optimality constraints, The 3-loop non-singlet heavy flavor contributions and anomalous dimensions for the structure function \(\mathrm{F}_2(\mathrm{x, Q}^{\mathrm{2}})\) and transversity, The 3-loop pure singlet heavy flavor contributions to the structure function \(F_2(x, Q^2)\) and the anomalous dimension, Loop-by-loop differential equations for dual (elliptic) Feynman integrals, An infinite family of elliptic ladder integrals, Analytic computation of three-point energy correlator in QCD, Deciphering the maximal transcendentality principle via bootstrap, Lattice Boltzmann method analysis tool (LBMAT), Multi-loop positivity of the planar \(\mathcal{N} = 4 \) SYM six-point amplitude, Complete renormalization of QCD at five loops, Evaluating master integrals in non-factorizable corrections to \(t\)-channel single-top production at NNLO QCD, Lepton-pair scattering with an off-shell and an on-shell photon at two loops in massless QED, Numerical scattering amplitudes with pySecDec, Three-loop master integrals for the Higgs boson self-energy with internal top-quarks and \(W\)-bosons, Numerical evaluation of iterated integrals related to elliptic Feynman integrals, Integral reduction with Kira 2.0 and finite field methods, \textsc{Rings}: an efficient Java/Scala library for polynomial rings, Bifurcations, chaos, and sensitivity to parameter variations in the Sato cardiac cell model, BubbleProfiler: finding the field profile and action for cosmological phase transitions, The massless two-loop two-point function, The transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O({\alpha}_s^3)\), Two loop renormalization of the \(n = 2\) Wilson operator in the RI'/SMOM scheme, Reformulations in mathematical programming: automatic symmetry detection and exploitation, Automated solution of first order factorizable systems of differential equations in one variable, The three-loop single mass polarized pure singlet operator matrix element, Quadratic subspaces and construction of Bayes invariant quadratic estimators of variance components in mixed linear models, Compact sparse symbolic Jacobian computation in large systems of ODEs, Solving differential equations for Feynman integrals by expansions near singular points, Invariant forms, associated bundles and Calabi-Yau metrics, Slepton pair production in association with a jet: NLO-QCD corrections and parton-shower effects, Two-loop leading color corrections to heavy-quark pair production in the gluon fusion channel, \texttt{Reduze} -- Feynman integral reduction in \texttt{C++}, Generic, Type-Safe and Object Oriented Computer Algebra Software, Gtybalt-a free computer algebra system, Numerical evaluation of multiple polylogarithms, HPL, a Mathematica implementation of the harmonic polylogarithms, Resolution of singularities for multi-loop integrals, Equivalent finite difference and partial differential equations for the lattice Boltzmann method, Systematic approximation of multi-scale Feynman integrals, Three loop renormalization of 3-quark operators in QCD, Parameter Synthesis Through Temporal Logic Specifications, Leading singularities and off-shell conformal integrals, Recursion and growth estimates in renormalizable quantum field theory, GiNaC, Planar master integrals for four-loop form factors, Multidimensional $p$-adic continued fraction algorithms, An extension of Mobius--Lie geometry with conformal ensembles of cycles and its implementation in a GiNaC library, The multi-Regge limit from the Wilson loop OPE, Pentagon functions for one-mass planar scattering amplitudes, Towards an Implementation of a Computer Algebra System in a Functional Language, I'm stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulations, Complete collection of one-loop triple-collinear splitting operators for dimensionally-regulated QCD, Master integrals for mixed QCD-QED corrections to charged-current Drell-Yan production of a massive charged lepton, The Expansion ⋆ mod ō (ℏ4) and Computer-Assisted Proof Schemes in the Kontsevich Deformation Quantization, The SAGEX review on scattering amplitudes Chapter 5: Analytic bootstraps for scattering amplitudes and beyond


Uses Software


Cites Work