• gmspoly.lib

  • Referenced in 1 article [sw31083]
  • Well-known notions of tameness like tameness, M-tameness, Malgrange-tameness, 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...
  • 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, open-source 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 large-scale 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 S-Q-P-lab) 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 high-level, 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...