[X] The "/ZK Freshly/zk-demo-3.6.3-FL-2009-07-09.zip" file could not be found or is not available. Please select another file.

Share

More
21 Century Math Method Autoprover Icon

21 Century Math Method Autoprover

planning

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.


http://ex-code.com/~porton/math/21mm-software.html





Separate each tag with a space.

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

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

21 Century Math Method Autoprover Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review