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

Rif
 Referenced in 6 articles
[sw12338]
 data required for the existence of formal power series solutions of a system ... command to generate formal power series solutions of a system...

DifferentialAlgebra
 Referenced in 6 articles
[sw13540]
 polynomial differential equations and computing formal power series solutions for them. The underlying theory ... another one. The command for computing formal power series solutions to differential equation systems...

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

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

SCHUTZENBERGER
 Referenced in 1 article
[sw21256]
 package that treats algebraic and other formal power series. To use it, download...

IdentityFinder
 Referenced in 1 article
[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...

GITA
 Referenced in 8 articles
[sw00353]
 well as angleaction coordinates and the formal integral of the motion. These quantities ... form of a truncated power series, the highest degree of which determines the degree...

Ynot
 Referenced in 29 articles
[sw12334]
 small trusted computing base which has been formally justified in our previous work on Hoare ... these axioms can be combined with the powerful type and abstraction mechanisms ... this claim, we describe here a representative series of modules that implement imperative finite maps...

POLYPAK
 Referenced in 1 article
[sw01169]
 programs for the formal manipulation of real or complex power series in several variables ... forced secondorder differential equations. 2. Formal computation of the limit cycle...

Coquelicot
 Referenced in 6 articles
[sw11552]
 that the users have a way to formally verify mathematical theorems and correctness of critical ... some widely used results. For instance, power series are not developed further than their definition...

hp.sr
 Referenced in 4 articles
[sw17821]
 multivalued functions represented by a formal series expansion or to compute explicit approximants ... construction of multiseries approximations which can be more powerful than most summation methods...

ACETAF
 Referenced in 6 articles
[sw00014]
 ACETAF: A software package for computing validated bounds...

ANSYS
 Referenced in 538 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ACL2
 Referenced in 245 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 161 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

Cinderella
 Referenced in 131 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CoCoA
 Referenced in 545 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1394 articles
[sw00161]
 Coq is a formal proof management system. It...

Fermat
 Referenced in 30 articles
[sw00277]
 Fermat is a computer algebra system (CAS) for...