QUASI AXIOMATIC THEORIES (QAT)

Computer software for hypothesis generation and formalized reasoning for making decisions and for solving problems in the field of mathematics