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

@@ 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