Login / Signup

MBase: Representing mathematical knowledge in a relational data base.

Andreas FrankeMichael Kohlhase
Published in: Calculemus (1999)
Keyphrases
  • mathematical knowledge
  • theorem prover
  • computer software
  • expert systems
  • theorem proving