
gmspoly.lib
 Referenced in 1 article
[sw31083]
 Wellknown notions of tameness like tameness, Mtameness, Malgrangetameness, and cohomological tameness...

GAP
 Referenced in 2662 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Magma
 Referenced in 2672 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 4879 articles
[sw00545]
 The result of over 30 years of cutting...

numericalsgps
 Referenced in 102 articles
[sw00640]
 On the GAP package numericalsgps. After short introductions...

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

SageMath
 Referenced in 1468 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

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

SNOPT
 Referenced in 487 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

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

PLCP
 Referenced in 192 articles
[sw04795]
 The software contains some functions and drivers for...

mctoolbox
 Referenced in 1333 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

SQPlab
 Referenced in 139 articles
[sw05161]
 The SQPlab (pronounce SQPlab) software...

UNLocBoX
 Referenced in 240 articles
[sw07521]
 The UNLocboX is a matlab convex optimization toolbox...

Freshml
 Referenced in 48 articles
[sw08992]
 FreshML: programming with binders made simple. FreshML extends...

Python
 Referenced in 1072 articles
[sw14460]
 Python is a widely used highlevel, general...

Find
 Referenced in 81 articles
[sw21614]
 Proof of a program: Find. A proof is...

GitHub
 Referenced in 1180 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...