Schreck, Pascal
VIAF ID: 208877104 ( Personal )
Permalink: http://viaf.org/viaf/208877104
Preferred Forms
-
- 100 1 _ ‡a Schreck, Pascal
-
- 100 1 _ ‡a Schreck, Pascal
-
- 100 1 _ ‡a Schreck, Pascal
5xx's: Related Names (2)
- 511 2 _ ‡a Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (Strasbourg)
- 511 2 _ ‡a Université de Strasbourg (2009-....)
Works
Title | Sources |
---|---|
Automated deduction in geometry, c2011: | |
Automatisation des constructions géométriques à la règle et au compas | |
Combinatorial approach for the automation in Coq of formal proofs in incidence projective geometry. | |
Computer-assisted planning for tumor thermal ablation. | |
Contribution in estimation of similarity from a set of tomographic projections taken at unknown directions. | |
Décomposition et paramétrisation de systèmes de contraintes géométriques sous-contraint | |
Development of a programming language dedicated to geometrical modeling based on topology, application to 3D geological model reconstruction. | |
Geometric constraints in dimension 3. | |
Modélisation géométrique et réalité virtuelle pour l'assistance à la planification de trajectoires en chirurgie mini-invasive | |
On the formalization of foundations of geometry | |
Planification assistée par ordinateur pour la thermoablation de tumeur | |
Résolution de contraintes géométriques en guidant une méthode homotopique par la géométrie | |
Structures algorithmiques pour les opérateurs d'algèbre géométrique et application aux surfaces quadriques | |
Study and developpement of a new distributed consensus algorithm. | |
Sur la formalisation des fondements de la géométrie. | |
Transformations de graphes pour les opérations topologiques en modélisation géométrique : application à l'étude de la dynamique de l'appareil de Golgi | |
Vérification formelle de programmes de génération de données structurées |