Login / Signup

Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega.

Serge AutexierChristoph BenzmüllerDominik DietrichMarc Wagner
Published in: Math. Comput. Sci. (2008)
Keyphrases
  • mathematical knowledge
  • computer software
  • theorem prover
  • theorem proving
  • information systems
  • artificial intelligence
  • knowledge management
  • computer assisted