
ETPS
 Referenced in 156 articles
[sw06302]
 proofs, translating these into natural deduction proofs, constructing natural deduction proofs, translating natural deduction proofs ... rearranging proofs, deleting parts of proofs, displaying only those parts of proofs under active consideration ... saving incomplete proofs, and printing proofs on paper. The convenient formula editor permits the student ... System to Help Students Write Formal Proofs (postscript...

Gappa
 Referenced in 18 articles
[sw04885]
 help verifying and formally proving properties on numerical programs dealing with floatingpoint or fixed ... automatic tactic for the Coq proof assistant...

Apron
 Referenced in 67 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

ACL2
 Referenced in 279 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 172 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CGAL
 Referenced in 360 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Cinderella
 Referenced in 151 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CoCoA
 Referenced in 631 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

CUTE
 Referenced in 63 articles
[sw00177]
 CUTE: a concolic unit testing engine for C...

Dafny
 Referenced in 66 articles
[sw00183]
 Dafny is an imperative objectbased language with...

FGb
 Referenced in 242 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

Macaulay2
 Referenced in 1692 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

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

MATCONT
 Referenced in 376 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 5957 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12309 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...