Login / Signup

Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems.

Serge AutexierArmin FiedlerThomas NeumannMarc Wagner
Published in: Calculemus/MKM (2007)
Keyphrases
  • user defined
  • management system
  • data types
  • information retrieval
  • complex systems
  • databases
  • expert systems
  • data model
  • query processor
  • database
  • artificial intelligence
  • scientific literature