Team IGG : Computer Graphics and Geometry

Difference between revisions of "Recherche:theme1"

From Team IGG : Computer Graphics and Geometry
Jump to navigation Jump to search
m
 
(11 intermediate revisions by 3 users not shown)
Line 1: Line 1:
−
''' A REFAIRE EN ANGLAIS '''
+
== Modeling, construction and proofs in geometry ==
  
−
== Modélisation, Construction et Preuves en géométrie ==
+
This theme focuses on research activities around the topic of geometric modeling. It splits in three complementary operations. Operation 1 (Geometric and topological modeling) studies de combinatorial models which are the common basis for the whole team. Operation 2 (Solving of geometric constraints) studies a complementary point of view, especially the embeddings. Operation 3 (Specifications and proofs in geometry) is an original topic which makes geometric modeling benefit from the latest advances in specifications and proofs.
−
Ce thème fédère les activités de recherche autour de la modélisation géométrique qu’il conjugue sous toutes ces coutures. Ce thème se découpe en trois opérations complémentaires.
 
  
−
L’opération 1 (modélisation géométrique et topologique) constitue le socle commun à toute l’équipe. L’opération 2 (constructions géométrique automatisées) représente un apport complémentaire enrichissant. L’opération 3 (spécifications et preuves en géométrie) est particulièrement originale fait profiter la modélisation géométrique des toutes dernières techniques de spécifications et preuves.
+
=== Permanent members ===
−
 
+
* 4 professors:
−
=== Participants ===
 
−
* 4 professeurs:
 
 
** Dominique Bechmann
 
** Dominique Bechmann
 
** Jean-François Dufourd
 
** Jean-François Dufourd
 
** Jean-Michel Dischler
 
** Jean-Michel Dischler
 
** Pascal Schreck
 
** Pascal Schreck
−
* 5 Maîtres de conférences:
+
* 1 full researcher CR1:
−
** Sylvain Brandel
+
** Hyewon Seo
 +
* 9 associate professors:
 +
** Rémi Allègre
 +
** Gabriel Braun
 
** David Cazier
 
** David Cazier
 +
** Caroline Essert
 +
** Pierre Kraemer
 
** Nicolas Magaud
 
** Nicolas Magaud
 
** Pascal Mathis
 
** Pascal Mathis
−
** Caroline Villard
+
** Julien Narboux
−
* un ingénieur de recherche:
+
** Basile Sauvage
−
** Sylvain Thery [http://dpt-info.u-strasbg.fr/~thery web_perso]
+
* 1 research engineer:
−
 
+
** Sylvain Thery
−
=== Problématique ===
 
−
* séparation des problèmes de structure et de forme
 
−
* résolutions formelles
 
−
* preuves.
 
−
 
 
−
Activité transverse intégrative:
 
−
* Plate-forme logicielle de modélisation géométrique
 
  
−
Applications privilégiées:
+
=== Partitioning into operations ===
−
* Applications médicales
 
  
−
=== Découpage en opérations ===
+
This theme splits in three complementary operations :
−
Ce thème se décompose en 3 opérations:  
 
  
−
''' Opération 1: [[IGG_THEME1_OPERATION1|modélisation géométrique et topologique]]'''
+
''' Operation 1: [[THEME_1_OPERATION1|Geometric and topological modeling]]'''
  
−
Participants:
+
Permanent members :
 
* Dominique Bechmann
 
* Dominique Bechmann
−
* Sylvain Brandel
+
* Jean-Michel Dischler
 +
* Rémi Allègre
 +
* Pierre Kraemer
 
* David Cazier
 
* David Cazier
 +
* Basile Sauvage
 +
* Hyewon Seo
 
* Sylvain Thery  
 
* Sylvain Thery  
−
* Jean-François Dufourd
 
  
 +
''' Operation 2: [[THEME_1_OPERATION2|Solving of geometric constraints]] '''
  
−
''' Opération 2: [[IGG_THEME1_OPERATION2|constructions géométriques et résolution de contraintes]] '''
+
Permanent members :
−
 
 
−
Participants:
 
 
* Pascal Schreck
 
* Pascal Schreck
 +
* Caroline Essert
 
* Pascal Mathis
 
* Pascal Mathis
−
* Caroline Villard
+
* Julien Narboux
  
  
−
''' Opération 3: [[IGG_THEME1_OPERATION3|spécifications et preuves en géométrie]] '''
+
''' Operation 3: [[THEME_1_OPERATION3|Specifications and proofs in geometry]] '''
  
−
Participants:
+
Permanent members :
 
* Jean-François Dufourd
 
* Jean-François Dufourd
 
* Nicolas Magaud
 
* Nicolas Magaud
 +
* Julien Narboux
 +
 +
[[fr:Recherche:thème1]]

Latest revision as of 08:32, 28 July 2009

Modeling, construction and proofs in geometry

This theme focuses on research activities around the topic of geometric modeling. It splits in three complementary operations. Operation 1 (Geometric and topological modeling) studies de combinatorial models which are the common basis for the whole team. Operation 2 (Solving of geometric constraints) studies a complementary point of view, especially the embeddings. Operation 3 (Specifications and proofs in geometry) is an original topic which makes geometric modeling benefit from the latest advances in specifications and proofs.

Permanent members

  • 4 professors:
    • Dominique Bechmann
    • Jean-François Dufourd
    • Jean-Michel Dischler
    • Pascal Schreck
  • 1 full researcher CR1:
    • Hyewon Seo
  • 9 associate professors:
    • Rémi Allègre
    • Gabriel Braun
    • David Cazier
    • Caroline Essert
    • Pierre Kraemer
    • Nicolas Magaud
    • Pascal Mathis
    • Julien Narboux
    • Basile Sauvage
  • 1 research engineer:
    • Sylvain Thery

Partitioning into operations

This theme splits in three complementary operations :

Operation 1: Geometric and topological modeling

Permanent members :

  • Dominique Bechmann
  • Jean-Michel Dischler
  • Rémi Allègre
  • Pierre Kraemer
  • David Cazier
  • Basile Sauvage
  • Hyewon Seo
  • Sylvain Thery

Operation 2: Solving of geometric constraints

Permanent members :

  • Pascal Schreck
  • Caroline Essert
  • Pascal Mathis
  • Julien Narboux


Operation 3: Specifications and proofs in geometry

Permanent members :

  • Jean-François Dufourd
  • Nicolas Magaud
  • Julien Narboux
Retrieved from "https://igg.icube.unistra.fr/en/index.php?title=Recherche:theme1&oldid=1751"