Formalismes non classiques pour le traitement informatique de la topologie et de la géométrie discrète
L’objet de ce travail est l’utilisation de certains formalismes non classiques (analyses non standard, analyses constructives) afin de proposer des bases théoriques nouvelles autour des problèmes de discrétisations d’objets continus. Ceci est fait en utilisant un modèle discret du système des nombre...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2010LAROS315/document |