Geodesic
Verifica automatica del ragionamento matematico
Bollettino della Unione matematica italiana, Série 8, 9A (2006) no. 3-1, pp. 361-389

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

To check the correctness of mathematical reasoning, when it is completely formalized, is a task that can be delegated to a machine. This gives rise to the discipline of Machine Checked Mathematics, very close to the perhaps more famous Automatic Theorem Proving, but distinguished from the latter by methodologies and objectives. 
@article{BUMI_2006_8_9A_3-1_a0,
     author = {Maggesi, Marco and Simpson, Carlos},
     title = {Verifica automatica del ragionamento matematico},
     journal = {Bollettino della Unione matematica italiana},
     pages = {361--389},
     publisher = {mathdoc},
     volume = {Ser. 8, 9A},
     number = {3-1},
     year = {2006},
     zbl = {1195.03018},
     mrnumber = {MR2309896},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_2006_8_9A_3-1_a0/}
}
TY  - JOUR
AU  - Maggesi, Marco
AU  - Simpson, Carlos
TI  - Verifica automatica del ragionamento matematico
JO  - Bollettino della Unione matematica italiana
PY  - 2006
SP  - 361
EP  - 389
VL  - 9A
IS  - 3-1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_2006_8_9A_3-1_a0/
LA  - it
ID  - BUMI_2006_8_9A_3-1_a0
ER  - 
%0 Journal Article
%A Maggesi, Marco
%A Simpson, Carlos
%T Verifica automatica del ragionamento matematico
%J Bollettino della Unione matematica italiana
%D 2006
%P 361-389
%V 9A
%N 3-1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_2006_8_9A_3-1_a0/
%G it
%F BUMI_2006_8_9A_3-1_a0
Maggesi, Marco; Simpson, Carlos. Verifica automatica del ragionamento matematico. Bollettino della Unione matematica italiana, Série 8, 9A (2006) no. 3-1, pp. 361-389. http://geodesic.mathdoc.fr/item/BUMI_2006_8_9A_3-1_a0/