• PARI/GP

  • Referenced in 595 articles [sw00680]
  • with mathematical entities such as matrices, power series, algebraic or p-adic numbers...
  • Bertini

  • Referenced in 231 articles [sw06683]
  • solutions ”at infinity.” Provides a fractional power-series endgame to accurately compute singular roots Allows...
  • KORBX

  • Referenced in 55 articles [sw04341]
  • primal, dual, primal-dual, and power series algorithms were empirically evaluated...
  • Arb

  • Referenced in 44 articles [sw07822]
  • efficient high-precision 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, power-series, 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 q-holonomic sequences and power series. We describe a Mathematica package for dealing ... with q-holonomic sequences and power series. The package is intended as a q-analogue ... 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 q-series are the classical Rogers-Ramanujan 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 time-series 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...