
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 symbolicnumericalgraphical...

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...

Binomials.m2
 Referenced in 32 articles
[sw06695]
 Binomials.m2, a package for Macaulay2 to compute primary...

simpcomp
 Referenced in 22 articles
[sw06898]
 simpcomp is a GAP package for working with...

OEIS
 Referenced in 3043 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...