 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.
Sponsored Links:
|
| URL: |
http://www.lemma-one.com/ProofPower/index/
|
| Title: |
The ProofPower Web Pages |
| Description: |
Science, Math, Logic and Foundations, Software - ProofPower. A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation. |
| Specialized in: |
|
|
|
|
|
LWB (Popularity:  ): Logics Workbench.
PROTEIN (Popularity: ): A PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ECRC's Prolog-dialect ECLiPSe. Free download, ...
Database of Existing Mechanized Reasoning Systems (Popularity: ): A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools.
Automated Reasoning Project (Popularity: ): Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite ...
MUltseq (Popularity: ): A generic sequent prover for propositional finitely-valued logics.
MUltlog (Popularity: ): Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and ...
WinKE: A Proof Assistant for Teaching Logic (Popularity: ): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information ...
The Coq Project (Popularity: ): Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations ...
Logic Software from CSLI (Popularity: ): By Jon Barwise and John Etchemendy.
LOOM (Popularity: ): A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at ...
|
|
Popular Sites |
|
WinKE: A Proof Assistant for Teaching Logic (Popularity: ): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information ...
LOOM (Popularity: ): A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at ...
MUltseq (Popularity: ): A generic sequent prover for propositional finitely-valued logics.
Gateway to Logic (Popularity: ): A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and ...
The Coq Project (Popularity: ): Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations ...
|
|
Related Press |
|
TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity: ): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity: ): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
Our Stock Picks for today (www.hypergrowthstock.com) 25th Nov. 2009 (Popularity: ): CLF, BDGH, KNDR, AWSL, VGPR Current HOT Watch List
MIAMI, Nov. 25th 2009 (M2 PRESSWIRE via COMTEX) – HyperGrowthStocks.com is pleased ...
BMO Financial Group Announces Agreement to Acquire the Diners Club North American Franchise From Citigroup (Popularity: ): Gives BMO exclusive rights to issue Diners Club cards in North America;
clients will benefit from worldwide acceptance and ability ...
Infant Entrapment and Suffocation Prompts Stork Craft to Recall More Than 2.1 Million Drop-Side Cribs (Popularity: ): The U.S. Consumer Product Safety Commission (CPSC), in cooperation with Stork Craft Manufacturing Inc., of British Columbia, Canada, today announced ...
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
