%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