• 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 5 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 q-series are the classical Rogers-Ramanujan identities ... most intriguing of the classical formal power series identities. The authors used the Maple package...
  • GITA

  • Referenced in 8 articles [sw00353]
  • well as angle-action 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...
  • Coquelicot

  • Referenced in 5 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]
  • multi-valued functions represented by a formal series expansion or to compute explicit approximants ... construction of multi-series 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 511 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ACL2

  • Referenced in 241 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 541 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1360 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Fermat

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

  • Referenced in 222 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...