• HoTT

  • Referenced in 16 articles [sw15147]
  • over all universe levels, formalizations of Cantor spaces and the surreals, the basic theory...
  • AIFS

  • Referenced in 14 articles [sw00023]
  • A considerable class of fractal sets can be...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Coq

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

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Magma

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

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

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

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

  • Referenced in 175 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • PARI/GP

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

  • Referenced in 958 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • SC Toolbox

  • Referenced in 208 articles [sw04462]
  • Algorithm 843: Improvements to the Schwarz-Christoffel toolbox...
  • Mizar

  • Referenced in 506 articles [sw04704]
  • The Mizar System is the only implementation of...
  • mctoolbox

  • Referenced in 1521 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • HOL

  • Referenced in 594 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Nuprl

  • Referenced in 396 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • Eigtool

  • Referenced in 537 articles [sw07020]
  • EigTool is a free MATLAB package for computing...