define the term math linguistics
We should have a good definition that delineates what we are interested in. I am thinking of including the following aspects
- extracting structures of argumentation and formulae
- annotation frameworks for documents and corpora
- lexical issues of maths and disambiguation
- representation formats for mathematical knowledge (big and small)
- applications of represented knowledge
I sure I have forgotten things here.
cc: @dginev @jfschaefer