Automatic theorem prover and problems solver based on 21 Century Math Method (http://ex-code.com/~porton/math/method.html), a new method which is a replacement of axiomatic method. This future program is to surpass both Mizar and Mathematica.
Topics:
Licenses:
Operating System:
Translations:
Intended Audience:
User Interface:
Programming Language:
Registered:
Ratings and Reviews
Be the first to post a text review of 21 Century Math Method Autoprover. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Code committed
Anonymous committed patchset 1 of module CVSROOT to the 21 Century Math Method Autoprover CVS repository, changing 11 files -
Forum thread added
Anonymous created the Welcome to Help forum thread -
Forum thread added
Anonymous created the Welcome to Open Discussion forum thread -
Forum thread added
Anonymous created the Welcome to Developers forum thread -
Project Information Updated
porton registered the 21 Century Math Method Autoprover project
Rate and Review
Be the first person to add a text review.
Related Projects
-
MizarMML-DB
This project will develop some software to easily use MizarMML-DB, which is a free simple database for Mizar articles registered in the Mizar Mathematical Library (MML) (refer to: http://mizar.org/).
-
S-SAT - Sapienza SAT
During a course at University "La Sapienza" in Rome I developed a fully working SAT solver based on unit propagation and backtracking; it can read DIMACS files and process cnf formulas of any length(there are no restrictions on the number of literals).
-
21 Century Math Method Autoprover Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
