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