Deyan Ginev edited untitled.tex  almost 9 years ago

Commit id: 49651d401737b6963af421500a147ae3c36e4513

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}.