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

Algorithms, Artificial Intelligence, Education, Mathematics, Quality Assurance