Geodesic
Le dimostrazioni di teoremi fondate sull’uso di calcolatori
Bollettino della Unione matematica italiana, Série 8, 2A (1999) no. 1, pp. 69-81.

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

@article{BUMI_1999_8_2A_1_a6,
     author = {de Giovanni, Francesco and Landolfi, Tommaso},
     title = {Le dimostrazioni di teoremi fondate sull{\textquoteright}uso di calcolatori},
     journal = {Bollettino della Unione matematica italiana},
     pages = {69--81},
     publisher = {mathdoc},
     volume = {Ser. 8, 2A},
     number = {1},
     year = {1999},
     zbl = {1086.68587},
     mrnumber = {170494},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1_a6/}
}
TY  - JOUR
AU  - de Giovanni, Francesco
AU  - Landolfi, Tommaso
TI  - Le dimostrazioni di teoremi fondate sull’uso di calcolatori
JO  - Bollettino della Unione matematica italiana
PY  - 1999
SP  - 69
EP  - 81
VL  - 2A
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1_a6/
LA  - it
ID  - BUMI_1999_8_2A_1_a6
ER  - 
%0 Journal Article
%A de Giovanni, Francesco
%A Landolfi, Tommaso
%T Le dimostrazioni di teoremi fondate sull’uso di calcolatori
%J Bollettino della Unione matematica italiana
%D 1999
%P 69-81
%V 2A
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1_a6/
%G it
%F BUMI_1999_8_2A_1_a6
de Giovanni, Francesco; Landolfi, Tommaso. Le dimostrazioni di teoremi fondate sull’uso di calcolatori. Bollettino della Unione matematica italiana, Série 8, 2A (1999) no. 1, pp. 69-81. http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1_a6/

[1] K. Appel - W. Haken, Il problema dei quattro colori, Le Scienze, 113 (1978).

[2] A. Bundy, L’Automazione del Ragionamento Matematico, F. Muzzio Editore, Padova (1986).

[3] B. Cipra, As easy as EQP, in What’s Happening in the Mathematical Sciences (American Mathematical Society) (1998/99), 58-72. | Zbl

[4] H. Gelernter - J. R. Hansen - D. W. Loveland, Empirical explorations of the Geometry Theorem Proving Machine, Computers and Thought, ed. E. A. Feigenbaum e J. Feldman, McGraw-Hill, New York (1963).

[5] D. B. Lenat, Automated theory formation in mathematics, Proceedings of IJCAI-77 (1977), 833-842. | Zbl

[6] D. B. Lenat, AM: An artificial intelligence approach to discovery in mathematics as heuristic search, Knowledge-Based Systems in Artificial Intelligence, ed. R. Davis e D. B. Lenat, McGraw-Hill, New York (1982).

[7] D. B. Lenat, Theory formation by euristic search – the nature of euristics II: background and examples, Artificial Intelligence, 21 (1983), 31-59.

[8] A. Newell - J. C. Shaw - H. A. Simon, Empirical explorations with the Logic TheoryMachine: a case study in heuristics, Computers and Thought, E. A. Feigenbaum e J. Feldman, McGraw-Hill, New York (1963).

[9] E. Rich - K. Knight, Intelligenza Artificiale, 2a ed., McGraw-Hill Italia, Milano (1992).

[10] G. D. Ritchie - F. K. Hanna, AM: A case study in AI methodology, Artificial Intelligence, 23 (1984), 249-268.

[11] A. J. Robinson, A machine oriented logic based on the resolution principle, J. Assoc. Comput. Mach., 12 (1965), 23-41. | MR | Zbl

[12] R. Rucker, La mente e l’Infinito, F. Muzzio Editore, Padova (1991).

[13] L. Wos, Solving open questions with an automated theorem-proving program, Proceedings of CADE, ed. D. Loveland, Springer, Berlin (1982), 1-31. | DOI | MR | Zbl

[14] L. Wos - R. Overbeck - W. Lusk- J. Boyle, Automated Reasoning: Introduction and Applications, Englewood Cliffs Prentice-Hall, New York (1984). | Zbl