In this paper we present a machine-certified proof for the Cartan Fixed Point Theorems in the univariate case, using the HOL Light theorem prover.
A certified proof of the Cartan Fixed Point Theorems / Ciolli, Gianni; Gentili, Graziano; Maggesi, Marco. - In: JOURNAL OF AUTOMATED REASONING. - ISSN 0168-7433. - STAMPA. - 47(3):(2011), pp. 319-336. [10.1007/s10817-010-9198-6]
A certified proof of the Cartan Fixed Point Theorems
GENTILI, GRAZIANO;MAGGESI, MARCO
2011
Abstract
In this paper we present a machine-certified proof for the Cartan Fixed Point Theorems in the univariate case, using the HOL Light theorem prover.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Cartan.pdf
Accesso chiuso
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
360.14 kB
Formato
Adobe PDF
|
360.14 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
