A first look into a formal and constructive approach for discrete geometry using nonstandard analysis

Type de document :
Communication dans un congrès
David Coeurjolly, Isabelle Sivignon, Laure Tougne, Florent Dupont. 14th int. conf. on Discrete Geometry for Computer Imagery DGCI 2008, Apr 2008, Lyon, France. 4992, pp.21--32, 2008, LNCS
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00347921
Contributeur : Gaëlle Largeteau-Skapin <>
Soumis le : mercredi 17 décembre 2008 - 10:28:20
Dernière modification le : jeudi 9 février 2017 - 16:58:48

Identifiants

  • HAL Id : hal-00347921, version 1

Collections

Citation

Laurent Fuchs, Gaëlle Largeteau-Skapin, Guy Wallet, Eric Andres, Agathe Chollet. A first look into a formal and constructive approach for discrete geometry using nonstandard analysis. David Coeurjolly, Isabelle Sivignon, Laure Tougne, Florent Dupont. 14th int. conf. on Discrete Geometry for Computer Imagery DGCI 2008, Apr 2008, Lyon, France. 4992, pp.21--32, 2008, LNCS. 〈hal-00347921〉

Partager

Métriques

Consultations de la notice

124