Login / Signup

The Global Digital Mathematics Library and the International Mathematical Knowledge Trust.

Patrick D. F. IonStephen M. Watt
Published in: CICM (2017)
Keyphrases
  • mathematical knowledge
  • computer software
  • theorem prover
  • computer science
  • theorem proving
  • trust model
  • proof planning
  • public key infrastructure
  • artificial intelligence
  • knowledge base
  • programming language