Foundational aspects of multiscale digitization (Q1935768): 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 / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2012.07.026
+Normal rank
@@ Property / OpenAlex ID @@
+W1994566013
@@ Property / OpenAlex ID: W1994566013 / 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 @@
+Constructive mathematics: a foundation for computable analysis
+Normal rank
@@ Property / cites work @@
+Constructive Mathematics in Theory and Programming Practice
+Normal rank
@@ Property / cites work @@
+Ω-Arithmetization of Ellipses
@@ Property / cites work: Ω-Arithmetization of Ellipses / rank @@
+Normal rank
@@ Property / cites work @@
+Insight in discrete geometry and computational content of a discrete model of the continuum
+Normal rank
@@ Property / cites work @@
+Ω-Arithmetization: A Discrete Multi-resolution Representation of Real Functions
+Normal rank
@@ Property / cites work @@
+Q3993282
@@ Property / cites work: Q3993282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037536
@@ Property / cites work: Q4037536 / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
+Normal rank
@@ Property / cites work @@
+Q3331221
@@ Property / cites work: Q3331221 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141106
@@ Property / cites work: Q3141106 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard analysis - recent developments
@@ Property / cites work: Nonstandard analysis - recent developments / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037514
@@ Property / cites work: Q4037514 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Erweiterung der Infinitesimalrechnung
@@ Property / cites work: Eine Erweiterung der Infinitesimalrechnung / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
+Normal rank
@@ Property / cites work @@
+Constructive mathematics and computer programming
@@ Property / cites work: Constructive mathematics and computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5752569
@@ Property / cites work: Q5752569 / rank @@
+Normal rank
@@ Property / cites work @@
+Internal set theory: A new approach to nonstandard analysis
+Normal rank
@@ Property / cites work @@
+A note on <i>Mathematics of infinity</i>
@@ Property / cites work: A note on <i>Mathematics of infinity</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893100
@@ Property / cites work: Q4893100 / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in Constructive Nonstandard Analysis
@@ Property / cites work: Developments in Constructive Nonstandard Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3522669
@@ Property / cites work: Q3522669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4948843
@@ Property / cites work: Q4948843 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037532
@@ Property / cites work: Q4037532 / rank @@
+Normal rank
@@ Property / cites work @@
+Back and forth between continuous and discrete for the working computer scientist
+Normal rank
@@ Property / cites work @@
+Non-standard analysis
@@ Property / cites work: Non-standard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A Constructive Look at Generalised Cauchy Reals
@@ Property / cites work: A Constructive Look at Generalised Cauchy Reals / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1935768