A certified proof of the Cartan fixed point theorems
From MaRDI portal
Publication:438546
DOI10.1007/S10817-010-9198-6zbMATH Open1250.68233OpenAlexW2135745323MaRDI QIDQ438546FDOQ438546
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
Maximum principle, Schwarz's lemma, Lindelöf principle, analogues and generalizations; subordination (30C80) Holomorphic functions of several complex variables (32A99)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rigidity of Holomorphic Mappings and a New Schwarz Lemma at the Boundary
- Quaternionic analysis
- A new theory of regular functions of a quaternionic variable
- A new approach to Cullen-regular functions of a quaternionic variable
- A Declarative Language for the Coq Proof Assistant
- Die Funktionentheorie der Differentialgleichungen \(\Delta u=0\) und \(\Delta\Delta u=0\) mit vier reellen Variablen
- Power series and analyticity over the quaternions
- Theorem Proving in Higher Order Logics
- 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é
- Reelle Transformationsgruppen und invariante Metriken auf komplexen Räumen
- Recent Developments for Regular Functions of a Hypercomplex Variable
Cited In (1)
Uses Software
This page was built for publication: A certified proof of the Cartan fixed point theorems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q438546)
