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

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

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

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

ML
 Referenced in 524 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

KORBX
 Referenced in 56 articles
[sw04341]
 KORBX® (a registered trademark of AT&T) is...

PORTA
 Referenced in 127 articles
[sw04869]
 PORTA is a collection of routines for analyzing...

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

Prover9
 Referenced in 198 articles
[sw04969]
 Prover9 and Mace4: Prover9 is an automated theorem...

WSMP
 Referenced in 49 articles
[sw06749]
 WSMP: A highperformance serial and parallel sparse...

Princess
 Referenced in 28 articles
[sw06872]
 Theorem Proving in FirstOrder Logic modulo Linear...

Mace4
 Referenced in 228 articles
[sw06905]
 finite modelfinder Mace4. Mace4 is a program...

OpenSMT
 Referenced in 28 articles
[sw08426]
 The OpenSMT solver. This paper describes OpenSMT, an...

Flyspeck
 Referenced in 124 articles
[sw10277]
 Communicating formal proofs: the case of flyspeck. We...

CSIsat
 Referenced in 15 articles
[sw11407]
 CSIsat: Interpolation for LA+EUF. We present CSIsat...

FOCI
 Referenced in 62 articles
[sw12868]
 FOCI: and interpolating prover. FOCI is a decision...

AS 149
 Referenced in 13 articles
[sw14116]
 Amalgamation of means in the case of simple...

ALGOL 60
 Referenced in 669 articles
[sw21807]
 ALGOL 60 (short for Algorithmic Language 1960) is...

GitHub
 Referenced in 2760 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...

kepler98
 Referenced in 195 articles
[sw23625]
 The 1998 Proof of the Kepler Conjecture. The...