Deyan Ginev edited untitled.tex  almost 9 years ago

Commit id: 454a65830670b6c47aa58ecca82e096834608959

deletions | additions      

       

In this paper, we demonstrate an integration of technologies aimed to "illustrate" and "expose" the mathematical content to readers. We are not covering technologies aimed to assist with "verifying" or "co-deriving" mathematical results, such as proof-assistants and automated theorem provers, although we consider them viable future integration projects with Authorea.   The preprint of this paper, and simultaneously the demonstration of all described capabilities, are cross-hosted on Authorea and can be found at \cite{live-math}.