Login / Signup

On Correctness of Mathematical Texts from a Logical and Practical Point of View.

Konstantin VerchinineAlexander V. LyaletskiAndrey PaskevichAnatoly V. Anisimov
Published in: AISC/MKM/Calculemus (2008)
Keyphrases
  • real world
  • real time
  • keywords
  • practical application
  • information retrieval
  • natural language
  • relational databases
  • learning algorithm
  • social networks
  • multiscale
  • expert systems
  • mathematical models
  • logical structure