REVIEW 2 cited by
GiNaC - Symbolic computation with C++
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
We give an introduction to the C++ library GiNaC, which extends the C++ language by new objects and methods for the representation and manipulation of arbitrary symbolic expressions.
Forward citations
Cited by 2 Pith papers
-
Integral Reduction with Kira 2.0 and Finite Field Methods
Kira 2.0 implements finite-field coefficient reconstruction for IBP reductions and improved user-equation handling, yielding lower memory use and faster performance on state-of-the-art problems.
-
IBIS: Inverse BInomial sum Solver
IBIS expresses a class of finite inverse binomial sums with harmonic sums as S-sums using new telescoping recursions, and ships as a FORM package.
Discussion (0). Continue with ORCID to comment.