Pascal Schreck

According to our database, Pascal Schreck authored at least 49 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry.

David Braun, Nicolas Magaud, Pascal Schreck

J. Autom. Reason., March, 2024

2021

Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach.

Pascal Schreck, Nicolas Magaud, David Braun

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

Two New Ways to Formally Prove Dandelin-Gallucci's Theorem.

David Braun, Nicolas Magaud, Pascal Schreck

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2019

Using jointly geometry and algebra to determine RC-constructibility.

Pascal Schreck, Pascal Mathis

J. Symb. Comput., 2019

On the Mechanization of Straightedge and Compass Constructions.

Pascal Schreck

J. Syst. Sci. Complex., 2019

Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.

Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck

J. Autom. Reason., 2019

Foreword - Formalization of geometry, automated and interactive geometric reasoning.

Pascal Schreck, Tetsuo Ida, Laura Kovács

Ann. Math. Artif. Intell., 2019

Two cryptomorphic formalizations of projective incidence geometry.

David Braun, Nicolas Magaud, Pascal Schreck

Ann. Math. Artif. Intell., 2019

2018

Formalizing Some "Small" Finite Models of Projective Geometry in Coq.

David Braun, Nicolas Magaud, Pascal Schreck

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

A robust and efficient method for solving point distance problems by homotopy.

Rémi Imbach, Pascal Mathis, Pascal Schreck

Math. Program., 2017

2016

Constructibility Classes for Triangle Location Problems.

Pascal Schreck, Vesna Marinkovic, Predrag Janicic

Math. Comput. Sci., 2016

Automatic Constructibility Checking of a Corpus of Geometric Construction Problems.

Pascal Schreck, Pascal Mathis

Math. Comput. Sci., 2016

Determining automatically compass and straightedge unconstructibility in triangles.

Pascal Mathis, Pascal Schreck

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2015

A Robust and Efficient Method for Solving Geometrical Constraint Problems by Homotopy.

Rémi Imbach, Pascal Mathis, Pascal Schreck

CoRR, 2015

2014

Coordinate-free geometry and decomposition in geometrical constraint solving.

Pascal Mathis, Pascal Schreck

Comput. Aided Des., 2014

Leading a continuation method by geometry for solving geometric constraints.

Rémi Imbach, Pascal Schreck, Pascal Mathis

Comput. Aided Des., 2014

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.

Vesna Marinkovic, Predrag Janicic, Pascal Schreck

Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014

2012

A case study in formalizing projective geometry in Coq: Desargues theorem.

Nicolas Magaud, Julien Narboux, Pascal Schreck

Comput. Geom., 2012

Decomposition of geometrical constraint systems with reparameterization.

Pascal Mathis, Pascal Schreck, Rémi Imbach

Proceedings of the ACM Symposium on Applied Computing, 2012

Geometric Construction Problem Solving in Computer-Aided Learning.

Pascal Schreck, Pascal Mathis, Julien Narboux

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Equation Systems with Free-Coordinates Determinants.

Pascal Mathis, Pascal Schreck

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012

2011

Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems.

Simon E. B. Thierry, Pascal Schreck, Dominique Michelucci, Christoph Fünfzig, Jean-David Génevaux

Comput. Aided Des., 2011

Tracking Method for Reparametrized Geometrical Constraint Systems.

Rémi Imbach, Pascal Mathis, Pascal Schreck

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

Formalization of Wu's Simple Method in Coq.

Jean-David Génevaux, Julien Narboux, Pascal Schreck

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010

Using the witness method to detect rigid subsystems of geometric constraints in CAD.

Dominique Michelucci, Pascal Schreck, Simon E. B. Thierry, Christoph Fünfzig, Jean-David Génevaux

Proceedings of the ACM Symposium on Solid and Physical Modeling, 2010

2009

Formalizing Desargues' theorem in Coq using ranks.

Nicolas Magaud, Julien Narboux, Pascal Schreck

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery.

Caroline Essert-Villard, Claire Baegert, Pascal Schreck

Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

2008

Special track on Geometric Constraints and Reasoning: editorial message.

Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Combining symbolic and numerical solvers to simplify indecomposable systems solving.

Arnaud Fabre, Pascal Schreck

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Formalizing Projective Plane Geometry in Coq.

Nicolas Magaud, Julien Narboux, Pascal Schreck

Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008

2007

Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints.

Simon E. B. Thierry, Pascal Mathis, Pascal Schreck

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Precise Determination of Regions of Interest for Hepatic RFA Planning.

Claire Baegert, Caroline Villard, Pascal Schreck, Luc Soler

Proceedings of the Medicine Meets Virtual Reality 15, 2007

Multi-criteria Trajectory Planning for Hepatic Radiofrequency Ablation.

Claire Baegert, Caroline Villard, Pascal Schreck, Luc Soler

Proceedings of the Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29, 2007

2006

Geometrical Constraint System Decomposition: a Multi-group Approach.

Pascal Schreck, Pascal Mathis

Int. J. Comput. Geom. Appl., 2006

Incidence Constraints: a Combinatorial Approach.

Dominique Michelucci, Pascal Schreck

Int. J. Comput. Geom. Appl., 2006

Using invariance under the similarity group to solve geometric constraint systems.

Pascal Schreck, Étienne Schramm

Comput. Aided Des., 2006

Geometric constraints solving: some tracks.

Dominique Michelucci, Sebti Foufou, Loïc Lamarque, Pascal Schreck

Proceedings of the ACM Symposium on Solid and Physical Modeling 2006, 2006

A framework for geometric constraint satisfaction problem.

Julien Wintz, Pascal Schreck, Pascal Mathis

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Editorial message: technical track on geometric computing and reasoning.

Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005

Optimal Trajectories Computation Within Regions of Interest for Hepatic RFA Planning.

Caroline Villard, Claire Baegert, Pascal Schreck, Luc Soler, Afshin Gangi

Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 2005

Constrained Gesture Interaction in 3D Geometric Constructions.

Arnaud Fabre, Ludovic Sternberger, Pascal Schreck, Dominique Bechmann

Proceedings of the Gesture in Human-Computer Interaction and Simulation, 2005

2003

Solving Geometric Constraints Invariant Modulo the Similarity Group.

Étienne Schramm, Pascal Schreck

Proceedings of the Computational Science and Its Applications, 2003

Combination of Automatic and Interactive Tools for Solution Space Browsing.

Caroline Essert-Villard, Pascal Schreck, Pascal Mathis, Jean-François Dufourd

Proceedings of the 2003 International Conference on Geometric Modeling and Graphics, 2003

2002

A Case Study in Geometric Constructions.

Étienne Schramm, Pascal Schreck

Proceedings of the Computational Science - ICCS 2002, 2002

2001

Robustness in CAD Geometric Constructions.

Pascal Schreck

Proceedings of the International Conference on Information Visualisation, 2001

2000

Sketch-based pruning of a solution space within a formal geometric constraint solver.

Caroline Essert-Villard, Pascal Schreck, Jean-François Dufourd

Artif. Intell., 2000

Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry.

Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1998

Geometric Construction by Assembling Solved Subfigures.

Jean-François Dufourd, Pascal Mathis, Pascal Schreck

Artif. Intell., 1998

1997

Formal Resolution of Geometrical Constraint Systems by Assembling.

Jean-François Dufourd, Pascal Mathis, Pascal Schreck

Proceedings of the Fourth Symposium on Solid Modeling and Applications, 1997