Guy Wallet

According to our database, Guy Wallet authored at least 9 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Choice sequence and nonstandard extension of type theory.

Guy Wallet

ARIMA J., 2015

Avant propos.

Nadir Sari, Guy Wallet

ARIMA J., 2015

2012

Foundational aspects of multiscale digitization.

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

Theor. Comput. Sci., 2012

2010

Omega-Arithmetization of Ellipses.

Agathe Chollet, Guy Wallet, Eric Andres, Laurent Fuchs, Gaëlle Largeteau-Skapin, Aurélie Richard

Proceedings of the Computational Modeling of Objects Represented in Images, 2010

2009

Insight in discrete geometry and computational content of a discrete model of the continuum.

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

Pattern Recognit., 2009

Omega-Arithmetization: A Discrete Multi-resolution Representation of Real Functions.

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

Proceedings of the Combinatorial Image Analysis, 13th International Workshop, 2009

Arithmetization of a Circular Arc.

Aurélie Richard, Guy Wallet, Laurent Fuchs, Eric Andres, Gaëlle Largeteau-Skapin

Proceedings of the Discrete Geometry for Computer Imagery, 2009

2008

Integer calculus on the Harthong-Reeb Line.

Guy Wallet

ARIMA J., 2008

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

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

Proceedings of the Discrete Geometry for Computer Imagery, 2008