Pascal Schreck
Pascal Schreck
professeur d'informatique, Université de Strasbourg
Verified email at unistra.fr - Homepage
Title
Cited by
Cited by
Year
Trajectory optimization for the planning of percutaneous radiofrequency ablation of hepatic tumors
C Baegert, C Villard, P Schreck, L Soler, A Gangi
Computer Aided Surgery 12 (2), 82-90, 2007
722007
Geometric construction by assembling solved subfigures
JF Dufourd, P Mathis, P Schreck
Artificial Intelligence 99 (1), 73-119, 1998
681998
Sketch-based pruning of a solution space within a formal geometric constraint solver
C Essert-Villard, P Schreck, JF Dufourd
Artificial Intelligence 124 (1), 139-159, 2000
672000
Multi-criteria trajectory planning for hepatic radiofrequency ablation
C Baegert, C Villard, P Schreck, L Soler
International Conference on Medical Image Computing and Computer-Assisted …, 2007
592007
Higher-order intuitionistic formalization and proofs in Hilbert’s elementary geometry
C Dehlinger, JF Dufourd, P Schreck
International Workshop on Automated Deduction in Geometry, 306-323, 2000
592000
Optimal trajectories computation within regions of interest for hepatic RFA planning
C Villard, C Baegert, P Schreck, L Soler, A Gangi
International Conference on Medical Image Computing and Computer-Assisted …, 2005
372005
Formalizing projective plane geometry in Coq
N Magaud, J Narboux, P Schreck
International Workshop on Automated Deduction in Geometry, 141-162, 2008
302008
Formal resolution of geometrical constraint systems by assembling
JF Dufourd, P Mathis, P Schreck
Proceedings of the fourth ACM symposium on Solid modeling and applications …, 1997
291997
Precise determination of regions of interest for hepatic RFA planning
C Baegert, C Villard, P Schreck, L Soler
Medical Imaging 2007: Visualization and Image-Guided Procedures 6509, 650923, 2007
272007
Formalization of Wu’s simple method in Coq
JD Génevaux, J Narboux, P Schreck
International Conference on Certified Programs and Proofs, 71-86, 2011
252011
Geometric constraints solving: some tracks
D Michelucci, S Foufou, L Lamarque, P Schreck
Proceedings of the 2006 ACM symposium on Solid and physical modeling, 185-196, 2006
252006
Formalizing Desargues' theorem in Coq using ranks
N Magaud, J Narboux, P Schreck
Proceedings of the 2009 ACM symposium on Applied Computing, 1110-1115, 2009
232009
Using small scale automation to improve both accessibility and readability of formal proofs in geometry
P Boutry, J Narboux, P Schreck, G Braun
222014
Automatisation des constructions géométriques à la règle et au compas
P Schreck
Université Louis Pasteur (Strasbourg), 1993
221993
Modélisation et implantation d'un système à base de connaissances pour les constructions géométriques
P Schreck
Revue d'intelligence artificielle 8 (3), 223-247, 1994
191994
Geometrical constraint system decomposition: a multi-group approach
P Schreck, P Mathis
International Journal of Computational Geometry & Applications 16 (05n06 …, 2006
182006
Using invariance under the similarity group to solve geometric constraint systems
P Schreck, É Schramm
Computer-Aided Design 38 (5), 475-484, 2006
182006
Robustness in cad geometric constructions
P Schreck
Proceedings Fifth International Conference on Information Visualisation, 111-116, 2001
182001
Combining symbolic and numerical solvers to simplify indecomposable systems solving
A Fabre, P Schreck
Proceedings of the 2008 ACM symposium on Applied computing, 1838-1842, 2008
162008
Computer theorem proving for verifiable solving of geometric construction problems
V Marinković, P Janičić, P Schreck
International Workshop on Automated Deduction in Geometry, 72-93, 2014
152014
The system can't perform the operation now. Try again later.
Articles 1–20