Deyan Ginev edited untitled.tex  almost 9 years ago

Commit id: 248a0f3c03812ff27b2a18b6efd0776de5255963

deletions | additions      

       

\subsection{Live Mathematics}  The vision of "Live Mathematics", is a subset of the feature set envisioned captured  by the "Active Documents Paradigm" for STEM \cite{Kohlhase_2011}. We aim to enhance the transparency of mathematical content, by providing the capabilities to attach underlying numerical data, to encode the mathematical properties as targeted programs, embedded in the document, and by feeding that active data into interactive visualization engines, allowing for an exhaustive and immersive understanding of the objects of analysis. 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.