Abstract:
This is the second paper of the two ones dedicated to the concept of a computer supporting system for scientific research in mathematics. A model of intuitive proof and the requirements to support tools for researchers and
knowledge integrators as well as to system processes are presented.
Keywords:interactive theorem proving, theorem proving by analogy, intuitive proof, correctness of intuitive proof, knowledge banks.
Fulltext:
PDF file (196 kB)