Informal Proofs and Mathematical Rigour.

Marianna Antonutti Marfori

Published in: Stud Logica (2010)

Keyphrases

mathematical proofs
mathematical knowledge
automated theorem provers
theorem proving
cognitive processes
theorem prover
informal learning
computer software
equational theories
artificial intelligence
database
databases
formal proofs