• Jordan

  • Referenced in 63 articles [sw23624]
  • formal proof of the Jordan curve theorem (60,000 lines of HOL Light proof scripts...
  • BPOLY

  • Referenced in 12 articles [sw00089]
  • Algorithm 812: BPOLY: An object-oriented library of...
  • Coq

  • Referenced in 1502 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

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

  • Referenced in 195 articles [sw00341]
  • Gerris is a Free Software program for the...
  • LAPACK

  • Referenced in 1503 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

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

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

  • Referenced in 4663 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5178 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 10365 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MultRoot

  • Referenced in 90 articles [sw00604]
  • Algorithm 835: MultRoot - -a Matlab package for computing...
  • PHCpack

  • Referenced in 184 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...
  • SageMath

  • Referenced in 1248 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • GLIM

  • Referenced in 164 articles [sw01126]
  • GLIM - a system for interactive fitting of generalized...
  • MACSYMA

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

  • Referenced in 29 articles [sw01229]
  • Algorithm 776: SRRIT: A Fortran subroutine to calculate...
  • ApaTools

  • Referenced in 16 articles [sw01344]
  • ApaTools: a software toolbox for approximate polynomial algebra...