• FEniCS

  • Referenced in 590 articles [sw04314]
  • development of innovative concepts and tools for automated scientific computing, with a particular focus ... automated solution of differential equations by finite element methods. FEniCS has an extensive list ... features for automated, efficient solution of differential equations, including automated solution of variational problems, automated...
  • SPSS

  • Referenced in 634 articles [sw04269]
  • analysis, and collaboration and deployment (batch and automated scoring services...
  • Chaff

  • Referenced in 570 articles [sw06916]
  • range of applications in Electronic Design Automation (EDA), as well as in Artificial Intelligence...
  • ML

  • Referenced in 517 articles [sw01218]
  • formal languages, such as in compiler writing, automated theorem proving and formal verification. (wikipedia...
  • TPTP

  • Referenced in 378 articles [sw04143]
  • library of test problems for automated theorem proving (ATP) systems. The TPTP supplies...
  • OTTER

  • Referenced in 314 articles [sw02904]
  • current automated deduction system Otter is designed to prove theorems stated in first-order logic...
  • Isar

  • Referenced in 141 articles [sw04599]
  • interactive proof development and some degree of automation have become quite successful in sizable applications ... Typical examples of this kind of semi-automated reasoning systems include ... people. Paradoxically, none of the existing semi-automated reasoning systems have an adequate primary notion ... communication, or just maintenance). The Intelligible semi-automated reasoning (Isar) approach to readable formal proof...
  • ETPS

  • Referenced in 156 articles [sw06302]
  • Theorem Proving System. The former is an automated theorem-prover for first-order logic ... some extent under Windows. Potential applications of automated theorem proving include hardware and software verification ... partial automation of various mathematical activities, promoting development of formal theories in a wide variety...
  • SifDec

  • Referenced in 206 articles [sw04087]
  • packages, and a considerably simplified and entirely automated installation procedure for unix systems. The environment...
  • AProVE

  • Referenced in 148 articles [sw07831]
  • most powerful systems for automated termination proofs of term rewrite systems (TRSs ... first tool which automates the new dependency pair framework [8] and therefore permits a completely...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • library production and maintenance, which we term automated empirical optimization of software; this style...
  • Why3

  • Referenced in 130 articles [sw04438]
  • relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes ... correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used...
  • SPASS

  • Referenced in 178 articles [sw04108]
  • SPASS is an automated theorem prover for first-order logic with equality. So the input...
  • Prover9

  • Referenced in 177 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem prover for first-order and equational logic...
  • LCF

  • Referenced in 157 articles [sw08360]
  • whose in°uence on the ¯eld of automated reasoning has been diverse and profound...
  • ORSEE

  • Referenced in 151 articles [sw11710]
  • public and internal experiment calendar, reputation system, automated mailing, pdf output, experimenter rights management...
  • NQTHM

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

  • Referenced in 139 articles [sw07643]
  • method, LQR/LQG design, and other interactive and automated techniques. You can validate your design...
  • SATzilla

  • Referenced in 86 articles [sw06281]
  • previous work, we describe SATzilla, an automated approach for constructing per-instance algorithm portfolios ... making the portfolio construction scalable and completely automated, and improving it by integrating local search...
  • AVISPA

  • Referenced in 84 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and Applications) is a push-button tool ... automated validation of Internet security-sensitive protocols and applications. It provides a modular and expressive...