Psychological Nature of Verification of Informal Mathematical Proofs.

Published in: We Will Show Them! (2) (2005)

Keyphrases

mathematical proofs
cognitive processes
theorem prover
image sequences
model checking
formal verification
website
natural language
knowledge representation
face verification
signature verification
functional verification