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:
J.H. Curtiss, Mauro Picone (1949)
Bollettino dell'Unione Matematica Italiana
Similarity:
Emilio Gagliardo (1966)
Bollettino dell'Unione Matematica Italiana
Similarity:
Marco Maggesi, Carlos Simpson (2006)
Bollettino dell'Unione Matematica Italiana
Similarity:
Controllare la correttezza di un ragionamento matematico, quando questo sia completamente formalizzato, è un compito che può essere delegato ad una macchina. Nasce in questo modo la Matematica Verificata al Calcolatore, una disciplina prossima alla forse più nota Dimostrazione Automatica dei Teoremi, ma da questa distinta permetodologie e obiettivi. Questo articolo si propone di presentare la verifica automatica delle dimostrazioni e di offrire alcuni spunti di riflessione sulle possibili...
Francesco de Giovanni, Tommaso Landolfi (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
Paolo Ciancarini (1999)
Bollettino dell'Unione Matematica Italiana
Similarity:
Luca Degiovanni (2004)
Bollettino dell'Unione Matematica Italiana
Similarity:
Andrea Bacciotti (2004)
Bollettino dell'Unione Matematica Italiana
Similarity:
UMI (2004)
Bollettino dell'Unione Matematica Italiana
Similarity:
Ciro Ciliberto, Gilberto Bini, Alessandra Celletti, Carlo Toffalori (2016)
Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana
Similarity: