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

How to cite

top

de 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
  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. Zbl0858.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. Zbl0563.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. Zbl0139.12303MR170494
  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. Zbl0481.68090MR743431DOI10.1007/BFb0000049
  14. WOS, L. - OVERBECK, R. - LUSK, W., Automated Reasoning: Introduction and Applications, Englewood Cliffs Prentice-Hall, New York (1984). Zbl0820.68116

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.