Pascal Schreck

51 papers B 3C 2Misc 10Journal 19Unranked 16

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