Results 1 to 20 of 52
Sort by:

  • CAQE
  • Referenced in 16 articles [sw25922]
  • effectively construct Skolem and Herbrand functions from true, respectively false, QBFs; allowing us to certify...

  • BABEL
  • Referenced in 71 articles [sw03018]
  • combines pure PROLOG with a first order functional notation. On the other side, the language ... domains, which provides a notion of least Herbrand model for BABEL programs. We develop both...

  • ACL2
  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...

  • Isabelle
  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...

  • Magma
  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...

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

  • Maxima
  • Referenced in 170 articles [sw00560]
  • Maxima is a system for the manipulation of...

  • MiniSat
  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...

  • PLUMP
  • Referenced in 14 articles [sw00718]
  • The joint CSCS-ETH/NEC collaboration in parallel...

  • SageMath
  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...

  • TPS
  • Referenced in 73 articles [sw00973]
  • TPS and ETPS are, respectively, the Theorem Proving...

  • PERL
  • Referenced in 270 articles [sw01225]
  • Programming Perl. Perl is a language for easily...

  • HiLog
  • Referenced in 51 articles [sw01580]
  • HiLog: A foundation for higher-order logic programming...

  • CASL
  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...

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

  • Haskell
  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...

  • Eiffel
  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...

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

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