Review on the state of art about computer theorem proving and mechanized mathematics.

Information technology implications for mathematics: a view from the French riviera / Marco, Maggesi; Carlos, Simpson. - ELETTRONICO. - (2004), pp. 1-38.

Information technology implications for mathematics: a view from the French riviera

Marco Maggesi;
2004

Abstract

Review on the state of art about computer theorem proving and mechanized mathematics.
2004
File in questo prodotto:
File Dimensione Formato  
itmath8.pdf

accesso aperto

Tipologia: Pdf editoriale (Version of record)
Licenza: Tutti i diritti riservati
Dimensione 211.9 kB
Formato Adobe PDF
211.9 kB Adobe PDF

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1105241
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact