Login / Signup

Automated Classification and Categorization of Mathematical Knowledge.

Radim RehurekPetr Sojka
Published in: AISC/MKM/Calculemus (2008)
Keyphrases
  • automated classification
  • mathematical knowledge
  • theorem prover
  • computer software
  • text categorization
  • theorem proving
  • inference rules
  • high level
  • feature selection
  • first order logic