Back and forth between continuous and discrete for the working computer scientist

DOI10.1007/BF02127796zbMath0860.68056MaRDI QIDQ1817064

Denis Richard, Jean-Pierre Reveillès

Publication date: 29 January 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

code optimizationcontinuous problems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items (7)

Insight in discrete geometry and computational content of a discrete model of the continuum ⋮ Multi-scale arithmetization of linear transformations ⋮ Foundational aspects of multiscale digitization ⋮ A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis ⋮ Arithmetization of a Circular Arc ⋮ Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL ⋮ Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective

Cites Work

• Internal set theory: A new approach to nonstandard analysis
• Digital geometry
• Non-standard analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Back and forth between continuous and discrete for the working computer scientist