• slimgb

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

  • Referenced in 253 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • SCIP

  • Referenced in 412 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • ALTRAN

  • Referenced in 34 articles [sw01203]
  • The Altran system for rational function manipulation - a...
  • MACSYMA

  • Referenced in 714 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • McEliece

  • Referenced in 195 articles [sw02076]
  • Practical power analysis attacks on software implementations of...
  • BERGMAN

  • Referenced in 31 articles [sw02980]
  • Problems in interaction with the computer algebra system...
  • COLNEW

  • Referenced in 144 articles [sw03169]
  • Collocation method for the solution of nonlinear problems...
  • MPFR

  • Referenced in 185 articles [sw03312]
  • The MPFR library is a C library for...
  • RODAS

  • Referenced in 1411 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • 4ti2

  • Referenced in 134 articles [sw04379]
  • A software package for algebraic, geometric and combinatorial...
  • LattE

  • Referenced in 109 articles [sw04654]
  • LattE (Lattice point Enumeration) is a computer software...
  • Gfan

  • Referenced in 104 articles [sw04698]
  • Gfan is a software package for computing Gröbner...
  • PORTA

  • Referenced in 114 articles [sw04869]
  • PORTA is a collection of routines for analyzing...
  • Homology

  • Referenced in 28 articles [sw04871]
  • Computing simplicial homology based on efficient Smith normal...
  • NumPy

  • Referenced in 245 articles [sw06294]
  • NumPy is the fundamental package for scientific computing...
  • OEIS

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