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

Automath
 Referenced in 414 articles
[sw07127]
 Automath is a language designed by N.G. the...