JSM METHOD

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