• SMT-LIB

  • Referenced in 186 articles [sw04103]
  • SMT-LIB 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 multi-platform 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...
  • 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...