A computer formalization of basic definitions and theorems about metric spaces for the HOL Light theorem prover.

Formalization of metric spaces in HOL Light / Marco Maggesi. - ELETTRONICO. - (2014).

Formalization of metric spaces in HOL Light

MAGGESI, MARCO
2014

Abstract

A computer formalization of basic definitions and theorems about metric spaces for the HOL Light theorem prover.
2014
Marco Maggesi
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/906412
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact