Le dimostrazioni di teoremi fondate sull’uso di calcolatori
de Giovanni, Francesco ; Landolfi, Tommaso
Bollettino dell'Unione Matematica Italiana, Tome 2-A (1999), p. 69-81 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

Publié le : 1999-04-01
@article{BUMI_1999_8_2A_1_69_0,
     author = {Francesco de Giovanni and Tommaso Landolfi},
     title = {Le dimostrazioni di teoremi fondate sull'uso di calcolatori},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {2-A},
     year = {1999},
     pages = {69-81},
     zbl = {1086.68587},
     mrnumber = {1769409},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_1999_8_2A_1_69_0}
}

de Giovanni, Francesco; Landolfi, Tommaso. Le dimostrazioni di teoremi fondate sull’uso di calcolatori. Bollettino dell'Unione Matematica Italiana, Tome 2-A (1999) pp. 69-81. http://gdmltest.u-ga.fr/item/BUMI_1999_8_2A_1_69_0/

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

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

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

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

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

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

[8] Newell, A. - Shaw, J. C. - Simon, H. A., 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] Rich, E. - Knight, K., Intelligenza Artificiale, 2a ed., McGraw-Hill Italia, Milano (1992).

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

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

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

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

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