Login / Signup

Representing, Archiving, and Searching the Space of Mathematical Knowledge.

Mihnea IancuMichael KohlhaseCorneliu-Claudiu Prodescu
Published in: ICMS (2014)
Keyphrases
  • mathematical knowledge
  • search space
  • data collection
  • high level
  • probability distribution
  • computer software