Back and forth between continuous and discrete for the working computer scientist
From MaRDI portal
Publication:1817064
DOI10.1007/BF02127796zbMATH Open0860.68056MaRDI QIDQ1817064FDOQ1817064
Authors: Jean-Pierre Reveillès, D. Richard 
Publication date: 29 January 1997
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Recommendations
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
- Computer Science for Continuous Data
- In Praise of Numerical Computation
- Insight in discrete geometry and computational content of a discrete model of the continuum
- scientific article; zbMATH DE number 2152820
Cites Work
Cited In (12)
- In Praise of Numerical Computation
- Continuous vs. discrete time: some computational insights
- Insight in discrete geometry and computational content of a discrete model of the continuum
- Title not available (Why is that?)
- The benefits of sometimes not being discrete
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
- Exploring the foundations of discrete analytical geometry in Isabelle/HOL
- Foundational aspects of multiscale digitization
- Computer Science for Continuous Data
- Multi-scale arithmetization of linear transformations
- Arithmetization of a circular arc
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
This page was built for publication: Back and forth between continuous and discrete for the working computer scientist
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817064)
