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

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

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

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

Mathemagix
 Referenced in 42 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...

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

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...

DifferentialAlgebra
 Referenced in 11 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...

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

qGeneratingFunctions
 Referenced in 9 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...

RationalFirstintegrals
 Referenced in 8 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...

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

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...

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 10 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...

GMRFLib
 Referenced in 309 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...

Kleene Algebra
 Referenced in 8 articles
[sw32203]
 computation traces, binary relations and formal power series form Kleene algebras, and consider further models...