Pascal Schreck

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 13

Top Topics

Projective Geometry

Top Venues

Math. Comput. Sci.

Ann. Math. Artif. Intell.

Comput. Aided Des.

Publications

David Braun, Nicolas Magaud, Pascal Schreck
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry. J. Autom. Reason. 68 (1) (2024)
Pascal Schreck, Nicolas Magaud, David Braun
Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach. CoRR (2022)
David Braun, Nicolas Magaud, Pascal Schreck
Two New Ways to Formally Prove Dandelin-Gallucci's Theorem. ISSAC (2021)
Pascal Schreck, Tetsuo Ida, Laura Kovács
Foreword - Formalization of geometry, automated and interactive geometric reasoning. Ann. Math. Artif. Intell. 85 (2-4) (2019)
Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq. J. Autom. Reason. 62 (1) (2019)
Pascal Schreck
On the Mechanization of Straightedge and Compass Constructions. J. Syst. Sci. Complex. 32 (1) (2019)
David Braun, Nicolas Magaud, Pascal Schreck
Two cryptomorphic formalizations of projective incidence geometry. Ann. Math. Artif. Intell. 85 (2-4) (2019)
Pascal Schreck, Pascal Mathis
Using jointly geometry and algebra to determine RC-constructibility. J. Symb. Comput. 90 (2019)
David Braun, Nicolas Magaud, Pascal Schreck
Formalizing Some "Small" Finite Models of Projective Geometry in Coq. AISC (2018)
Rémi Imbach, Pascal Mathis, Pascal Schreck
A robust and efficient method for solving point distance problems by homotopy. Math. Program. 163 (1-2) (2017)
Pascal Schreck, Vesna Marinkovic, Predrag Janicic
Constructibility Classes for Triangle Location Problems. Math. Comput. Sci. 10 (1) (2016)
Pascal Schreck, Pascal Mathis
Automatic Constructibility Checking of a Corpus of Geometric Construction Problems. Math. Comput. Sci. 10 (1) (2016)
Pascal Mathis, Pascal Schreck
Determining automatically compass and straightedge unconstructibility in triangles. SCSS (2016)
Rémi Imbach, Pascal Mathis, Pascal Schreck
A Robust and Efficient Method for Solving Geometrical Constraint Problems by Homotopy. CoRR (2015)
Pascal Mathis, Pascal Schreck
Coordinate-free geometry and decomposition in geometrical constraint solving. Comput. Aided Des. 50 (2014)
Rémi Imbach, Pascal Schreck, Pascal Mathis
Leading a continuation method by geometry for solving geometric constraints. Comput. Aided Des. 46 (2014)
Vesna Marinkovic, Predrag Janicic, Pascal Schreck
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems. ADG (2014)
Pascal Mathis, Pascal Schreck
Equation Systems with Free-Coordinates Determinants. Automated Deduction in Geometry (2012)
Nicolas Magaud, Julien Narboux, Pascal Schreck
A case study in formalizing projective geometry in Coq: Desargues theorem. Comput. Geom. 45 (8) (2012)
Pascal Mathis, Pascal Schreck, Rémi Imbach
Decomposition of geometrical constraint systems with reparameterization. SAC (2012)
Pascal Schreck, Pascal Mathis, Julien Narboux
Geometric Construction Problem Solving in Computer-Aided Learning. ICTAI (2012)
Rémi Imbach, Pascal Mathis, Pascal Schreck
Tracking Method for Reparametrized Geometrical Constraint Systems. SYNASC (2011)
Simon E. B. Thierry, Pascal Schreck, Dominique Michelucci, Christoph Fünfzig, Jean-David Génevaux
Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems. Comput. Aided Des. 43 (10) (2011)
Jean-David Génevaux, Julien Narboux, Pascal Schreck
Formalization of Wu's Simple Method in Coq. CPP (2011)
Dominique Michelucci, Pascal Schreck, Simon E. B. Thierry, Christoph Fünfzig, Jean-David Génevaux
Using the witness method to detect rigid subsystems of geometric constraints in CAD. Symposium on Solid and Physical Modeling (2010)
Nicolas Magaud, Julien Narboux, Pascal Schreck
Formalizing Desargues' theorem in Coq using ranks. SAC (2009)
Caroline Essert-Villard, Claire Baegert, Pascal Schreck
Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery. KEOD (2009)
Nicolas Magaud, Julien Narboux, Pascal Schreck
Formalizing Projective Plane Geometry in Coq. Automated Deduction in Geometry (2008)
Arnaud Fabre, Pascal Schreck
Combining symbolic and numerical solvers to simplify indecomposable systems solving. SAC (2008)
Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck
Special track on Geometric Constraints and Reasoning: editorial message. SAC (2008)
Simon E. B. Thierry, Pascal Mathis, Pascal Schreck
Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints. SAC (2007)
Claire Baegert, Caroline Villard, Pascal Schreck, Luc Soler
Multi-criteria Trajectory Planning for Hepatic Radiofrequency Ablation. MICCAI (2) (2007)
Claire Baegert, Caroline Villard, Pascal Schreck, Luc Soler
Precise Determination of Regions of Interest for Hepatic RFA Planning. MMVR (2007)
Claire Baegert, Caroline Villard, Pascal Schreck, Luc Soler
Precise determination of regions of interest for hepatic RFA planning. Medical Imaging: Image-Guided Procedures (2007)
Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck
Editorial message: technical track on geometric computing and reasoning. SAC (2006)
Julien Wintz, Pascal Schreck, Pascal Mathis
A framework for geometric constraint satisfaction problem. SAC (2006)
Dominique Michelucci, Pascal Schreck
Incidence Constraints: a Combinatorial Approach. Int. J. Comput. Geom. Appl. 16 (5-6) (2006)
Pascal Schreck, Pascal Mathis
Geometrical Constraint System Decomposition: a Multi-group Approach. Int. J. Comput. Geom. Appl. 16 (5-6) (2006)
Dominique Michelucci, Sebti Foufou, Loïc Lamarque, Pascal Schreck
Geometric constraints solving: some tracks. Symposium on Solid and Physical Modeling (2006)
Pascal Schreck, Étienne Schramm
Using invariance under the similarity group to solve geometric constraint systems. Comput. Aided Des. 38 (5) (2006)
Caroline Villard, Claire Baegert, Pascal Schreck, Luc Soler, Afshin Gangi
Optimal Trajectories Computation Within Regions of Interest for Hepatic RFA Planning. MICCAI (2) (2005)
Arnaud Fabre, Ludovic Sternberger, Pascal Schreck, Dominique Bechmann
Constrained Gesture Interaction in 3D Geometric Constructions. Gesture Workshop (2005)
Étienne Schramm, Pascal Schreck
Solving Geometric Constraints Invariant Modulo the Similarity Group. ICCSA (3) (2003)
Caroline Essert-Villard, Pascal Schreck, Pascal Mathis, Jean-François Dufourd
Combination of Automatic and Interactive Tools for Solution Space Browsing. GMAG (2003)
Étienne Schramm, Pascal Schreck
A Case Study in Geometric Constructions. International Conference on Computational Science (2) (2002)
Pascal Schreck
Robustness in CAD Geometric Constructions. IV (2001)
Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. Automated Deduction in Geometry (2000)
Caroline Essert-Villard, Pascal Schreck, Jean-François Dufourd
Sketch-based pruning of a solution space within a formal geometric constraint solver. Artif. Intell. 124 (1) (2000)
Jean-François Dufourd, Pascal Mathis, Pascal Schreck
Geometric Construction by Assembling Solved Subfigures. Artif. Intell. 99 (1) (1998)
Jean-François Dufourd, Pascal Mathis, Pascal Schreck
Formal Resolution of Geometrical Constraint Systems by Assembling. Symposium on Solid Modeling and Applications (1997)