
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 firstorder 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 semiautomated reasoning systems include ... people. Paradoxically, none of the existing semiautomated reasoning systems have an adequate primary notion ... communication, or just maintenance). The Intelligible semiautomated reasoning (Isar) approach to readable formal proof...

ETPS
 Referenced in 156 articles
[sw06302]
 Theorem Proving System. The former is an automated theoremprover for firstorder 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 ... correctbyconstruction OCaml programs through an automated extraction mechanism. WhyML is also used...

SPASS
 Referenced in 178 articles
[sw04108]
 SPASS is an automated theorem prover for firstorder logic with equality. So the input...

Prover9
 Referenced in 177 articles
[sw04969]
 Prover9 and Mace4: Prover9 is an automated theorem prover for firstorder 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, 117172 (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 perinstance 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 pushbutton tool ... automated validation of Internet securitysensitive protocols and applications. It provides a modular and expressive...