Geodesic
Digitised Mathematics: Computerisation vs. Formalization
Review of the National Center for Digitization, Tome 10 (2007), p. 1 
F. Kamareddine; M. Maarek; K. Retel; J.B. Wells. Digitised Mathematics: Computerisation vs. Formalization. Review of the National Center for Digitization, Tome 10 (2007), p. 1 . http://geodesic.mathdoc.fr/item/NCD_2007_10_a0/
@article{NCD_2007_10_a0,
     author = {F. Kamareddine and M. Maarek and K. Retel and J.B. Wells},
     title = {Digitised {Mathematics:} {Computerisation} vs. {Formalization}},
     journal = {Review of the National Center for Digitization},
     pages = {1 },
     year = {2007},
     volume = {10},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/NCD_2007_10_a0/}
}
TY  - JOUR
AU  - F. Kamareddine
AU  - M. Maarek
AU  - K. Retel
AU  - J.B. Wells
TI  - Digitised Mathematics: Computerisation vs. Formalization
JO  - Review of the National Center for Digitization
PY  - 2007
SP  - 1 
VL  - 10
UR  - http://geodesic.mathdoc.fr/item/NCD_2007_10_a0/
LA  - en
ID  - NCD_2007_10_a0
ER  - 
%0 Journal Article
%A F. Kamareddine
%A M. Maarek
%A K. Retel
%A J.B. Wells
%T Digitised Mathematics: Computerisation vs. Formalization
%J Review of the National Center for Digitization
%D 2007
%P 1 
%V 10
%U http://geodesic.mathdoc.fr/item/NCD_2007_10_a0/
%G en
%F NCD_2007_10_a0

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

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.