Login / Signup

Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?

R. D. Arthan
Published in: ICMS (2010)
Keyphrases
  • mathematical proofs
  • artificial intelligence
  • databases
  • artificial neural networks
  • fuzzy logic
  • theorem prover
  • cognitive processes