• HolonomicFunctions

  • Referenced in 40 articles [sw06666]
  • this purpose the package can compute annihilating ideals and execute closure properties (addition, multiplication, substitutions ... such functions. An annihilating ideal represents the set of linear differential equations, linear recurrences...
  • CoCoA

  • Referenced in 605 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • FGb

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

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Macaulay2

  • Referenced in 1576 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 4919 articles [sw00545]
  • The result of over 30 years of cutting...
  • PARI/GP

  • Referenced in 564 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • Plural

  • Referenced in 71 articles [sw00719]
  • Singular is a computer algebra system (CAS) developed...
  • REDUCE

  • Referenced in 737 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SINGULAR

  • Referenced in 1314 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • slimgb

  • Referenced in 18 articles [sw00878]
  • Slimgb is a variation of Buchbergers’s algorithm...
  • CVX

  • Referenced in 652 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • Kan

  • Referenced in 44 articles [sw04929]
  • Kan/sm1 (1991--2003) is a system for computing...
  • OreModules

  • Referenced in 35 articles [sw06226]
  • Linear Control Systems over Ore Algebras OreModules is...
  • OEIS

  • Referenced in 3174 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...