Foundational aspects of multiscale digitization
From MaRDI portal
Publication:1935768
DOI10.1016/j.tcs.2012.07.026zbMath1262.68172OpenAlexW1994566013MaRDI QIDQ1935768
Laurent Fuchs, Gaëlle Largeteau-Skapin, Guy Wallet, Agathe Chollet, Eric Andres
Publication date: 19 February 2013
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2012.07.026
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Multi-scale arithmetization of linear transformations ⋮ Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective ⋮ Some representations of real numbers using integer sequences
Uses Software
Cites Work
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Eine Erweiterung der Infinitesimalrechnung
- Insight in discrete geometry and computational content of a discrete model of the continuum
- Nonstandard analysis - recent developments
- Constructive mathematics: a foundation for computable analysis
- Back and forth between continuous and discrete for the working computer scientist
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
- Ω-Arithmetization of Ellipses
- Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL
- Constructive mathematics and computer programming
- Ω-Arithmetization: A Discrete Multi-resolution Representation of Real Functions
- Internal set theory: A new approach to nonstandard analysis
- Developments in Constructive Nonstandard Analysis
- Constructive Mathematics in Theory and Programming Practice
- A note on Mathematics of infinity
- A Constructive Look at Generalised Cauchy Reals
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
- Non-standard analysis
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Foundational aspects of multiscale digitization
