
UCLID
 Referenced in 25 articles
[sw04657]
 UCLID (pronounced ”Euclid”) is a tool for analyzing the correctness of models of hardware ... software for security exploits, and verifying distributed algorithms...

CALYPSO
 Referenced in 4 articles
[sw00100]
 We present a package of parallel algorithms for...

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

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

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

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

numericalsgps
 Referenced in 118 articles
[sw00640]
 On the GAP package numericalsgps. After short introductions...

SageMath
 Referenced in 1714 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

GCDHEU
 Referenced in 9 articles
[sw01054]
 GCDHEU: Heuristic polynomial GCD algorithm based on integer...

Modula
 Referenced in 197 articles
[sw01224]
 The Modula programming language is a descendant of...

mctoolbox
 Referenced in 1422 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

cvc3
 Referenced in 85 articles
[sw04886]
 CVC3 is an automatic theorem prover for Satisfiability...

z3
 Referenced in 510 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

SLEEF
 Referenced in 41 articles
[sw05889]
 SLEEF  SIMD Library for Evaluating Elementary Functions Most...

OreModules
 Referenced in 42 articles
[sw06226]
 Linear Control Systems over Ore Algebras. OreModules is...

Eigtool
 Referenced in 495 articles
[sw07020]
 EigTool is a free MATLAB package for computing...

OEIS
 Referenced in 3522 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

CRACK
 Referenced in 57 articles
[sw07754]
 Applications of CRACK in the classification of integrable...