Results 41 to 60 of 151
Sort by:

  • 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...