Login / Signup

On linguistic aspects of integration of computer mathematical knowledge.

Alexander V. LyaletskiMarina Morokovets
Published in: Calculemus (1999)
Keyphrases
  • mathematical knowledge
  • computer software
  • computer systems
  • natural language
  • computer technology
  • natural language processing
  • theorem proving
  • machine learning
  • search algorithm
  • expert systems