Le dimostrazioni di teoremi fondate sull’uso di calcolatori
Francesco de Giovanni; Tommaso Landolfi
Bollettino dell'Unione Matematica Italiana (1999)
- Volume: 2-A, Issue: 1, page 69-81
- ISSN: 0392-4041
Access Full Article
top
Abstract
topHow to cite
topde Giovanni, Francesco, and Landolfi, Tommaso. "Le dimostrazioni di teoremi fondate sull’uso di calcolatori." Bollettino dell'Unione Matematica Italiana 2-A.1 (1999): 69-81. <http://eudml.org/doc/219429>.
@article{deGiovanni1999,
abstract = {},
author = {de Giovanni, Francesco, Landolfi, Tommaso},
journal = {Bollettino dell'Unione Matematica Italiana},
language = {ita},
month = {4},
number = {1},
pages = {69-81},
publisher = {Unione Matematica Italiana},
title = {Le dimostrazioni di teoremi fondate sull’uso di calcolatori},
url = {http://eudml.org/doc/219429},
volume = {2-A},
year = {1999},
}
TY - JOUR
AU - de Giovanni, Francesco
AU - Landolfi, Tommaso
TI - Le dimostrazioni di teoremi fondate sull’uso di calcolatori
JO - Bollettino dell'Unione Matematica Italiana
DA - 1999/4//
PB - Unione Matematica Italiana
VL - 2-A
IS - 1
SP - 69
EP - 81
AB -
LA - ita
UR - http://eudml.org/doc/219429
ER -
References
top- APPEL, K. - HAKEN, W., Il problema dei quattro colori, Le Scienze, 113 (1978).
- BUNDY, A., L’Automazione del Ragionamento Matematico, F. Muzzio Editore, Padova (1986).
- CIPRA, B., As easy as EQP, in What’s Happening in the Mathematical Sciences (American Mathematical Society) (1998/99), 58-72. Zbl0858.00004
- 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).
- LENAT, D. B., Automated theory formation in mathematics, Proceedings of IJCAI-77 (1977), 833-842. Zbl0563.68073
- 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).
- LENAT, D. B., Theory formation by euristic search – the nature of euristics II: background and examples, Artificial Intelligence, 21 (1983), 31-59.
- 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).
- RICH, E. - KNIGHT, K., Intelligenza Artificiale, 2a ed., McGraw-Hill Italia, Milano (1992).
- RITCHIE, G. D. - HANNA, F. K., AM: A case study in AI methodology, Artificial Intelligence, 23 (1984), 249-268.
- ROBINSON, A. J., A machine oriented logic based on the resolution principle, J. Assoc. Comput. Mach., 12 (1965), 23-41. Zbl0139.12303MR170494
- RUCKER, R., La mente e l’Infinito, F. Muzzio Editore, Padova (1991).
- WOS, L., Solving open questions with an automated theorem-proving program, Proceedings of CADE, ed. D. Loveland, Springer, Berlin (1982), 1-31. Zbl0481.68090MR743431DOI10.1007/BFb0000049
- WOS, L. - OVERBECK, R. - LUSK, W., Automated Reasoning: Introduction and Applications, Englewood Cliffs Prentice-Hall, New York (1984). Zbl0820.68116
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.