
SMTLIB
 Referenced in 186 articles
[sw04103]
 SMTLIB was created with the expectation that...

SPASS
 Referenced in 178 articles
[sw04108]
 SPASS is an automated theorem prover for first...

PHAVer
 Referenced in 113 articles
[sw04123]
 In 1995, HyTech broke new ground as a...

HyTech
 Referenced in 327 articles
[sw04125]
 HyTech is an automatic tool for the analysis...

FFTW
 Referenced in 499 articles
[sw04126]
 FFTW is a C subroutine library for computing...

TPTP
 Referenced in 378 articles
[sw04143]
 The TPTP (Thousands of Problems for Theorem Provers...

GeoGebra
 Referenced in 370 articles
[sw04203]
 GeoGebra is free and multiplatform dynamic mathematics...

wxMaxima
 Referenced in 8 articles
[sw04204]
 wxMaxima is a document based interface for the...

REDLOG
 Referenced in 160 articles
[sw04250]
 REDLOG is a package that extends the computer...

Walksat
 Referenced in 208 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to...

Simulink
 Referenced in 755 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and...

SATO
 Referenced in 196 articles
[sw04451]
 SATO: A Solver for Propositional Satisfiability: The Davis...

CVX
 Referenced in 720 articles
[sw04594]
 CVX is a modeling system for constructing and...

Isar
 Referenced in 141 articles
[sw04599]
 Theorem proving system supporting both interactive proof development...

SymbolicData
 Referenced in 28 articles
[sw04621]
 The SymbolicData GEO records  a public repository of...

Uppaal
 Referenced in 634 articles
[sw04702]
 Uppaal is an integrated tool environment for modeling...

Mizar
 Referenced in 469 articles
[sw04704]
 The Mizar System is the only implementation of...

lrs
 Referenced in 21 articles
[sw04730]
 Living with lrs. This paper describes the development...

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