A certified proof of the Cartan fixed point theorems

DOI10.1007/s10817-010-9198-6zbMath1250.68233OpenAlexW2135745323MaRDI QIDQ438546

Marco Maggesi, Gianni Ciolli, Graziano Gentili

Publication date: 31 July 2012

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-010-9198-6

zbMATH Keywords

complex analysisformal proofCartan fixed point theoremsHOL-light

Mathematics Subject Classification ID

Related Items (1)

Formalizing basic quaternionic analysis

Uses Software

• Coq
• Isabelle/Isar
• HOL Light

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Power series and analyticity over the quaternions
• Extension results for slice regular functions of a quaternionic variable
• Sur les fonctions de plusieurs variables complexes. L'itération des transformations intérieures d'un domaine borné
• Die Funktionentheorie der Differentialgleichungen \(\Delta u=0\) und \(\Delta\Delta u=0\) mit vier reellen Variablen
• A new theory of regular functions of a quaternionic variable
• A new approach to Cullen-regular functions of a quaternionic variable
• Reelle Transformationsgruppen und invariante Metriken auf komplexen Räumen
• A Declarative Language for the Coq Proof Assistant
• Quaternionic analysis
• Rigidity of Holomorphic Mappings and a New Schwarz Lemma at the Boundary
• Recent Developments for Regular Functions of a Hypercomplex Variable
• Theorem Proving in Higher Order Logics

This page was built for publication: A certified proof of the Cartan fixed point theorems