
Superposition Calculus
 Referenced in 4 articles
[sw28571]
 following refinement, inspired by the basic superposition calculus: each clause is associated with ... form  thus any application of the replacement rule on these terms is blocked ... added or removed at each inference step. The set of terms that are assumed ... than a previously replaced term. The standard superposition calculus corresponds to the case where...

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

gmp
 Referenced in 274 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 644 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

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

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

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

NAG
 Referenced in 420 articles
[sw00610]
 Produced by experts for use in a variety...

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

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

QUADPACK
 Referenced in 254 articles
[sw01236]
 Fortran subprograms for evaluating definite integrals of functions...

OTTER
 Referenced in 316 articles
[sw02904]
 Our current automated deduction system Otter is designed...

VAMPIRE
 Referenced in 241 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem...

PVS
 Referenced in 626 articles
[sw03484]
 PVS is a verification system: that is, a...

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

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

Darwin
 Referenced in 26 articles
[sw04175]
 Darwin is an automated theorem prover for first...

Metis_
 Referenced in 56 articles
[sw04439]
 Metis is an automatic theorem prover for first...