Geodesic
Digitised Mathematics: Computerisation vs. Formalization
Review of the National Center for Digitization, Tome 10 (2007) no. 1.

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. 
@article{NCD_2007_10_1_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 - 8},
     publisher = {mathdoc},
     volume = {10},
     number = {1},
     year = {2007},
     url = {http://geodesic.mathdoc.fr/item/NCD_2007_10_1_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 
EP  -  8
VL  - 10
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/NCD_2007_10_1_a0/
ID  - NCD_2007_10_1_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 - 8
%V 10
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/NCD_2007_10_1_a0/
%F NCD_2007_10_1_a0
F. Kamareddine; M. Maarek; K. Retel; J.B. Wells. Digitised Mathematics: Computerisation vs. Formalization. Review of the National Center for Digitization, Tome 10 (2007) no. 1. http://geodesic.mathdoc.fr/item/NCD_2007_10_1_a0/