• 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 high-level 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 general-purpose 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...