A univalent formalization of the <i>p</i>-adic numbers (Q5740654): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1207
@@ Property / arXiv ID: 1302.1207 / rank @@
+Normal rank
@@ Property / cites work @@
+Convexity properties of the moment mapping
@@ Property / cites work: Convexity properties of the moment mapping / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Q3346515
@@ Property / cites work: Q3346515 / rank @@
+Normal rank
@@ Property / cites work @@
+Voevodsky’s Univalence Axiom in Homotopy Type Theory
+Normal rank
@@ Property / cites work @@
+Homotopy type theory and Voevodsky’s univalent foundations
+Normal rank
@@ Property / cites work @@
+Type Theory and Homotopy
@@ Property / cites work: Type Theory and Homotopy / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing integrable systems of semitoric type
@@ Property / cites work: Constructing integrable systems of semitoric type / rank @@
+Normal rank
@@ Property / cites work @@
+Convexity and Commuting Hamiltonians
@@ Property / cites work: Convexity and Commuting Hamiltonians / rank @@
+Normal rank
@@ Property / cites work @@
+Semitoric integrable systems on symplectic 4-manifolds
+Normal rank
@@ Property / cites work @@
+A course in constructive algebra
@@ Property / cites work: A course in constructive algebra / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2171238335
@@ Property / OpenAlex ID: W2171238335 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5740654