• NuSMV

  • Referenced in 305 articles [sw04131]
  • group at Carnegie Mellon University , the Mechanized Reasoning Group at University of Genova The Mechanized ... Reasoning Group at University of Trento. NuSMV is a reimplementation and extension...
  • Nuprl

  • Referenced in 390 articles [sw06751]
  • Nuprl system is a framework for reasoning about mathematics and programming. Over the years...
  • GQTPAR

  • Referenced in 322 articles [sw07451]
  • method. In particular, we prove that under reasonable assumptions the sequence generated by Newton...
  • Z

  • Referenced in 280 articles [sw10291]
  • promoting a discipline of formal specification and reasoning? Another disappointment is that in those places...
  • LCF

  • Referenced in 157 articles [sw08360]
  • form a thriving paradigm in computer assisted reasoning. Many of the developments of the last ... uence on the ¯eld of automated reasoning has been diverse and profound ... higher order logic originally developed for reasoning about hardware.2 The multi-faceted contribution of Robin...
  • Isar

  • Referenced in 144 articles [sw04599]
  • examples of this kind of semi-automated reasoning systems include Coq, PVS, HOL, and Isabelle ... Paradoxically, none of the existing semi-automated reasoning systems have an adequate primary notion ... just maintenance). The Intelligible semi-automated reasoning (Isar) approach to readable formal proof documents sets ... interactive proof assistants, we arrive at a reasonable environment for live proof document editing. Thus...
  • E Theorem Prover

  • Referenced in 196 articles [sw10187]
  • most powerful and friendly reasoning systems for first-order logic. The prover has successfully participated...
  • UG

  • Referenced in 190 articles [sw04596]
  • commercial codes use them. There are two reasons for this. Firstly, the multigrid solution...
  • HYPLAS

  • Referenced in 188 articles [sw17661]
  • attempt to present a reasonable balance of theory and numerical procedures used in the finite...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • world. This allows programs to reason about the state of the world and consider...
  • Pellet

  • Referenced in 93 articles [sw07019]
  • Pellet: OWL 2 Reasoner for Java. For applications that need to represent and reason about ... systems where sound-and-complete OWL DL reasoning is essential. Pellet includes support ... nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information about the architecture ... features in Pellet Help. An OWL DL reasoner like Pellet is a core component...
  • NTRU

  • Referenced in 168 articles [sw11761]
  • public key cryptosystem. NTRU features reasonably short, easily created keys, high speed, and low memory...
  • BerkMin

  • Referenced in 160 articles [sw06917]
  • solve more instances than Chaff in a reasonable amount of time...
  • ETPS

  • Referenced in 158 articles [sw06302]
  • these disciplines, expert systems which can reason, and certain aspects of artificial intelligence...
  • NQTHM

  • Referenced in 149 articles [sw07543]
  • logic and its theorem prover” [J. Autom. Reasoning 4, No.2, 117-172 (1988)]. However...
  • rbMIT

  • Referenced in 143 articles [sw00784]
  • Matlab® Version 6.5 or newer on some reasonably fast platform, (iii) the Matlab® symbolic...
  • CP-nets

  • Referenced in 137 articles [sw01374]
  • Nets) is a tool for representing and reasoning with condition ceteris paribus preference statements...
  • SuLQ

  • Referenced in 125 articles [sw11355]
  • Queries) primitive. The assumption of sublinearity becomes reasonable as databases grow increasingly large.We extend this...
  • Oz

  • Referenced in 115 articles [sw06799]
  • like scheduling, time tabling, placement and configuration, reasoning and knowledge representation, processing of natural language...