Foundational aspects of multiscale digitization
type: Item
instance of: scholarly article
title: Foundational aspects of multiscale digitization
zbMATH Open document ID: 1262.68172
author: Agathe Chollet
author: Guy Wallet
author: Laurent Fuchs
author: Eric Andres
author: Gaëlle Largeteau-Skapin
published in: Theoretical Computer Science
publication date: 2013-02-19T00:00:00Z
Mathematics Subject Classification ID: 68U05
Mathematics Subject Classification ID: 68U10
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03H05
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6137320
zbMATH Keywords: discrete geometry
zbMATH Keywords: nonstandard analysis
zbMATH Keywords: multi-resolution analysis
zbMATH Keywords: constructive mathematics
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: j.tcs.2012.07.026
OpenAlex ID: W1994566013
cites work: Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
cites work: Constructive mathematics: a foundation for computable analysis
cites work: Constructive Mathematics in Theory and Programming Practice
cites work: Ω-Arithmetization of Ellipses
cites work: Insight in discrete geometry and computational content of a discrete model of the continuum
cites work: Ω-Arithmetization: A Discrete Multi-resolution Representation of Real Functions
cites work: Q3993282
cites work: Q4037536
cites work: Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL
cites work: A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
cites work: Q3331221
cites work: Q3141106
cites work: Nonstandard analysis - recent developments
cites work: Q4037514
cites work: Eine Erweiterung der Infinitesimalrechnung
cites work: Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
cites work: Constructive mathematics and computer programming
cites work: Q5752569
cites work: Internal set theory: A new approach to nonstandard analysis
cites work: A note on Mathematics of infinity
cites work: Q4893100
cites work: Developments in Constructive Nonstandard Analysis
cites work: Q3522669
cites work: Q4948843
cites work: Q4037532
cites work: Back and forth between continuous and discrete for the working computer scientist
cites work: Non-standard analysis
cites work: A Constructive Look at Generalised Cauchy Reals
DOI: 10.1016/J.TCS.2012.07.026
Recommended article: Q4866095
Recommended article: Multiscale techniques
Recommended article: Image Processing and Data Analysis
Recommended article: Q4222723
Recommended article: Digital imaging: a unified topological framework
Recommended article: Multiscale and multiresolution methods. Theory and applications
Recommended article: Multiscale Methods
Recommended article: Digital processing of multidimensional images
Recommended article: Multiresolution Representation of Data: A General Framework
description: scientific article; zbMATH DE number 6137320