
PARI/GP
 Referenced in 595 articles
[sw00680]
 with mathematical entities such as matrices, power series, algebraic or padic numbers...

Bertini
 Referenced in 231 articles
[sw06683]
 solutions ”at infinity.” Provides a fractional powerseries endgame to accurately compute singular roots Allows...

KORBX
 Referenced in 55 articles
[sw04341]
 primal, dual, primaldual, and power series algorithms were empirically evaluated...

Arb
 Referenced in 44 articles
[sw07822]
 efficient highprecision computation with polynomials, power series, matrices and special functions over the real...

Mathemagix
 Referenced in 41 articles
[sw00553]
 elementary operations with polynomials, power series and matrices, with a special care towards efficiency...

MPSolve
 Referenced in 14 articles
[sw05298]
 computations, Euclidean algorithm, polynomial and power series factorizations, spectral factorizations, matrix polynomials and matrix power...

Coquelicot
 Referenced in 12 articles
[sw11552]
 some widely used results. For instance, power series are not developed further than their definition ... dependent types for limits, derivatives, integrals, power series, and so on. To help with...

ROTA
 Referenced in 16 articles
[sw11577]
 vector space of formal power series. It appears to be the first in a series...

JAS
 Referenced in 15 articles
[sw05877]
 commutative and solvable polynomials, powerseries, multivariate polynomial factorization, Grobner bases, and applications...

DifferentialAlgebra
 Referenced in 10 articles
[sw13540]
 polynomial differential equations and computing formal power series solutions for them. The underlying theory ... command for computing formal power series solutions to differential equation systems is PowerSeriesSolution. Other commands...

Poincare_Series
 Referenced in 12 articles
[sw06953]
 formulas for the Poincaré (or the Hilbert) series 𝒫(𝒞 ... Poincaré sereis as a formal power series. To compute the series the author uses...

ore_algebra
 Referenced in 12 articles
[sw32569]
 polynomials, rational functions and (generalized) power series. This paper is a tutorial...

qGeneratingFunctions
 Referenced in 7 articles
[sw14277]
 package for qholonomic sequences and power series. We describe a Mathematica package for dealing ... with qholonomic sequences and power series. The package is intended as a qanalogue ... equations), for computing sequence terms and power series coefficients, and for guessing recurrence equations given...

Rif
 Referenced in 8 articles
[sw12338]
 required for the existence of formal power series solutions of a system, and a command ... generate formal power series solutions of a system...

IdentityFinder
 Referenced in 9 articles
[sw13628]
 important results in the theory of qseries are the classical RogersRamanujan identities ... most intriguing of the classical formal power series identities. The authors used the Maple package...

POLSYS_GLP
 Referenced in 9 articles
[sw07346]
 structure. POLSYS_GLP employs a sophisticated power series end game for handling singular solutions...

RationalFirstintegrals
 Referenced in 5 articles
[sw14472]
 ingredients are the calculation of a power series solution of a first order differential equation ... bivariate polynomial annihilating this power series. We provide explicit bounds on the number of terms ... needed in the power series. This enables us to transform their method into a certified...

GMRFLib
 Referenced in 286 articles
[sw06641]
 applications for this methodology, from structural timeseries analysis to the analysis of longitudinal ... geography, and ecology, introducing them to this powerful statistical inference method...

GITA
 Referenced in 8 articles
[sw00353]
 form of a truncated power series, the highest degree of which determines the degree...

FPS
 Referenced in 7 articles
[sw14855]
 Maple package on Formal Power Series...