Science Central - All about Science

Sunday, 22 November, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Software UPDATE URL | REPORT BROKEN LINK

Automated Reasoning Project

 Popularity:    Hit: 213 | Visit: 9
Details
Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite Domain Enumerator), MaGIC (Matrix Generator for Implication Connectives) and Kripke (A theorem prover for the relevant logic LR).

Sponsored Links:


URL:
Title: Computer Sciences Laboratory :: RSISE
Description:

RSISE
Category: Research - Teaching - 'graduate - Studies'


Related sites
LWB (Popularity: ): Logics Workbench.
PROTEIN (Popularity: ): A PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ...
Database of Existing Mechanized Reasoning Systems (Popularity: ): A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and ...
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, ...
Isabelle (Popularity: ): A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias ...
WinKE: A Proof Assistant for Teaching Logic (Popularity: ): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching ...
The Coq Project (Popularity: ): Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms ...
Logic Software from CSLI (Popularity: ): By Jon Barwise and John Etchemendy.
ProofPower (Popularity: ): A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in ...

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact