Science Central - All about Science

Wednesday, 17 March, 2010
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

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

DC Proof Online

 Popularity:    Hit: 594 | Visit: 80
Details
New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises.

Sponsored Links:


URL:
Title:
Description:

Category:


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 ...
Automated Reasoning Project (Popularity: ): Web resource provided by research group. Includes access to software developed by the team, coverering ...
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.

© 2005-2010 Science Central. All Rights Reserved

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