by porton
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.
Anonymous committed patchset 1 of module CVSROOT to the 21 Century Math Method Autoprover CVS repository, changing 11 files
Anonymous created the Welcome to Help forum thread
Anonymous created the Welcome to Open Discussion forum thread
Anonymous created the Welcome to Developers forum thread
porton registered the 21 Century Math Method Autoprover project
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use