Digitised Mathematics: Computerisation vs. Formalization

F. Kamareddine , M. Maarek , K. Retel , J.B. Wells

In only few decades, computers have changed the way we approach documents. Throughout history, mathematicians and philosophers had clarified the relationship between mathematical thoughts and their textual and symbolic representations. We discuss here the consequences of computer-based formalisation for mathematical authoring habits and we present an overview of our approach for computerising mathematical texts.