GF

MaRDI QIDQ20596swMATHFDO

Official website http://arxiv.org/pdf/1202.4837.pdf

Cited in

(8)

• A data model and encoding for a semantic, multilingual terminology of mathematics
• Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
• gfsage
• FraCaS
• SMGLoM
• Naproche
• Translating between language and logic: what is easy and what is difficult
• Multilingual Sage

This page was built for software: GF