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.
2011
47(3)
319
336
Ciolli, Gianni; Gentili, Graziano; Maggesi, Marco
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.

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