Le dimostrazioni di teoremi fondate sull’uso di calcolatori
Francesco de Giovanni, Tommaso Landolfi (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Verifica automatica del ragionamento matematico”
Le dimostrazioni di teoremi fondate sull’uso di calcolatori
Matematica, scienza del calcolo, creatività e formazione
Milvio Capovani (2002)
Bollettino dell'Unione Matematica Italiana
Similarity:
Integrazione dell’interpretazione astratta in un compilatore Prolog basato sulla WAM. Appendice: Un passo verso una metodologia per lo sviluppo di programmi Mercury: una semantica dichiarativa per Mercury
Baldan Dante (2000)
Bollettino dell'Unione Matematica Italiana
Similarity:
Macchine che producono numeri primi
Alessandro Zaccagnini (2016)
Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana
Similarity:
In questo articolo ci occupiamo della possibilità di produrre "meccanicamente" i numeri primi. In particolare, trattiamo criticamente il Crivello di Eratostene, la macchina di Conway e la formula di Gandhi, che permettono di determinare tutti i numeri primi.
L'organizzazione , conseguita negli Stati Uniti d'America, delle ricerche di Matematica Applicata
J.H. Curtiss, Mauro Picone (1949)
Bollettino dell'Unione Matematica Italiana
Similarity:
Gli Scacchi e i Matematici
Paolo Ciancarini (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
Mostre di matematica: soltanto una nuova moda o una strategia interessante?
Simonetta Di Sieno (2002)
Bollettino dell'Unione Matematica Italiana
Similarity: