A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis

From MaRDI portal
Publication:5458871

DOI10.1007/978-3-540-79126-3_4zbMath1138.68594OpenAlexW2171984085MaRDI QIDQ5458871

Eric Andres, Gaëlle Largeteau-Skapin, Guy Wallet, Laurent Fuchs, Agathe Chollet

Publication date: 24 April 2008

Published in: Discrete Geometry for Computer Imagery (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79126-3_4




Related Items


Uses Software


Cites Work