default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPascal Schreck
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j18]David Braun, Nicolas Magaud
, Pascal Schreck:
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry. J. Autom. Reason. 68(1): 3 (2024)- 2021
- [c31]David Braun, Nicolas Magaud, Pascal Schreck:
Two New Ways to Formally Prove Dandelin-Gallucci's Theorem. ISSAC 2021: 59-66 - [c30]Pascal Schreck, Nicolas Magaud, David Braun:
Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach. ADG 2021: 77-90
2010 – 2019
- 2019
- [j17]Pascal Schreck, Tetsuo Ida, Laura Kovács:
Foreword - Formalization of geometry, automated and interactive geometric reasoning. Ann. Math. Artif. Intell. 85(2-4): 71-72 (2019) - [j16]David Braun, Nicolas Magaud, Pascal Schreck:
Two cryptomorphic formalizations of projective incidence geometry. Ann. Math. Artif. Intell. 85(2-4): 193-212 (2019) - [j15]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): 1-68 (2019) - [j14]Pascal Schreck:
On the Mechanization of Straightedge and Compass Constructions. J. Syst. Sci. Complex. 32(1): 124-149 (2019) - [j13]Pascal Schreck, Pascal Mathis:
Using jointly geometry and algebra to determine RC-constructibility. J. Symb. Comput. 90: 124-148 (2019) - 2018
- [c29]David Braun, Nicolas Magaud, Pascal Schreck:
Formalizing Some "Small" Finite Models of Projective Geometry in Coq. AISC 2018: 54-69 - 2017
- [j12]Rémi Imbach, Pascal Mathis, Pascal Schreck:
A robust and efficient method for solving point distance problems by homotopy. Math. Program. 163(1-2): 115-144 (2017) - 2016
- [j11]Pascal Schreck, Vesna Marinkovic, Predrag Janicic:
Constructibility Classes for Triangle Location Problems. Math. Comput. Sci. 10(1): 27-39 (2016) - [j10]Pascal Schreck, Pascal Mathis:
Automatic Constructibility Checking of a Corpus of Geometric Construction Problems. Math. Comput. Sci. 10(1): 41-56 (2016) - [c28]Pascal Mathis, Pascal Schreck:
Determining automatically compass and straightedge unconstructibility in triangles. SCSS 2016: 130-142 - 2015
- [i1]Rémi Imbach, Pascal Mathis, Pascal Schreck:
A Robust and Efficient Method for Solving Geometrical Constraint Problems by Homotopy. CoRR abs/1503.07901 (2015) - 2014
- [j9]Rémi Imbach, Pascal Schreck, Pascal Mathis:
Leading a continuation method by geometry for solving geometric constraints. Comput. Aided Des. 46: 138-147 (2014) - [j8]Pascal Mathis, Pascal Schreck:
Coordinate-free geometry and decomposition in geometrical constraint solving. Comput. Aided Des. 50: 51-60 (2014) - [c27]Vesna Marinkovic, Predrag Janicic, Pascal Schreck:
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems. ADG 2014: 72-93 - 2012
- [j7]Nicolas Magaud, Julien Narboux, Pascal Schreck:
A case study in formalizing projective geometry in Coq: Desargues theorem. Comput. Geom. 45(8): 406-424 (2012) - [c26]Pascal Mathis, Pascal Schreck:
Equation Systems with Free-Coordinates Determinants. Automated Deduction in Geometry 2012: 59-70 - [c25]Pascal Schreck, Pascal Mathis, Julien Narboux:
Geometric Construction Problem Solving in Computer-Aided Learning. ICTAI 2012: 1139-1144 - [c24]Pascal Mathis, Pascal Schreck, Rémi Imbach:
Decomposition of geometrical constraint systems with reparameterization. SAC 2012: 102-108 - 2011
- [j6]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): 1234-1249 (2011) - [c23]Jean-David Génevaux, Julien Narboux, Pascal Schreck:
Formalization of Wu's Simple Method in Coq. CPP 2011: 71-86 - [c22]Rémi Imbach, Pascal Mathis, Pascal Schreck:
Tracking Method for Reparametrized Geometrical Constraint Systems. SYNASC 2011: 31-38 - [e1]Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert:
Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6877, Springer 2011, ISBN 978-3-642-25069-9 [contents] - 2010
- [c21]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: 91-100
2000 – 2009
- 2009
- [c20]Caroline Essert-Villard, Claire Baegert, Pascal Schreck:
Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery. KEOD 2009: 443-446 - [c19]Nicolas Magaud, Julien Narboux, Pascal Schreck:
Formalizing Desargues' theorem in Coq using ranks. SAC 2009: 1110-1115 - 2008
- [c18]Nicolas Magaud, Julien Narboux, Pascal Schreck:
Formalizing Projective Plane Geometry in Coq. Automated Deduction in Geometry 2008: 141-162 - [c17]Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck:
Special track on Geometric Constraints and Reasoning: editorial message. SAC 2008: 1814-1815 - [c16]Arnaud Fabre, Pascal Schreck:
Combining symbolic and numerical solvers to simplify indecomposable systems solving. SAC 2008: 1838-1842 - 2007
- [c15]Claire Baegert, Caroline Villard, Pascal Schreck, Luc Soler:
Multi-criteria Trajectory Planning for Hepatic Radiofrequency Ablation. MICCAI (2) 2007: 676-684 - [c14]Claire Baegert, Caroline Villard, Pascal Schreck, Luc Soler:
Precise determination of regions of interest for hepatic RFA planning. Image-Guided Procedures 2007: 650923 - [c13]Claire Baegert, Caroline Villard, Pascal Schreck, Luc Soler:
Precise Determination of Regions of Interest for Hepatic RFA Planning. MMVR 2007: 31-36 - [c12]Simon E. B. Thierry, Pascal Mathis, Pascal Schreck:
Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints. SAC 2007: 773-777 - 2006
- [j5]Pascal Schreck, Étienne Schramm:
Using invariance under the similarity group to solve geometric constraint systems. Comput. Aided Des. 38(5): 475-484 (2006) - [j4]Pascal Schreck, Pascal Mathis:
Geometrical Constraint System Decomposition: a Multi-group Approach. Int. J. Comput. Geom. Appl. 16(5-6): 431-442 (2006) - [j3]Dominique Michelucci, Pascal Schreck:
Incidence Constraints: a Combinatorial Approach. Int. J. Comput. Geom. Appl. 16(5-6): 443-460 (2006) - [c11]Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck:
Editorial message: technical track on geometric computing and reasoning. SAC 2006: 962 - [c10]Julien Wintz, Pascal Schreck, Pascal Mathis:
A framework for geometric constraint satisfaction problem. SAC 2006: 974-978 - [c9]Dominique Michelucci, Sebti Foufou, Loïc Lamarque, Pascal Schreck:
Geometric constraints solving: some tracks. Symposium on Solid and Physical Modeling 2006: 185-196 - 2005
- [c8]Arnaud Fabre, Ludovic Sternberger, Pascal Schreck, Dominique Bechmann:
Constrained Gesture Interaction in 3D Geometric Constructions. Gesture Workshop 2005: 324-334 - [c7]Caroline Villard, Claire Baegert, Pascal Schreck, Luc Soler, Afshin Gangi:
Optimal Trajectories Computation Within Regions of Interest for Hepatic RFA Planning. MICCAI (2) 2005: 49-56 - 2003
- [c6]Caroline Essert-Villard, Pascal Schreck, Pascal Mathis, Jean-François Dufourd:
Combination of Automatic and Interactive Tools for Solution Space Browsing. GMAG 2003: 14-21 - [c5]Étienne Schramm, Pascal Schreck:
Solving Geometric Constraints Invariant Modulo the Similarity Group. ICCSA (3) 2003: 356-365 - 2002
- [c4]Étienne Schramm, Pascal Schreck:
A Case Study in Geometric Constructions. International Conference on Computational Science (2) 2002: 201-210 - 2001
- [c3]Pascal Schreck:
Robustness in CAD Geometric Constructions. IV 2001: 111-116 - 2000
- [j2]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): 139-159 (2000) - [c2]Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck:
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. Automated Deduction in Geometry 2000: 306-324
1990 – 1999
- 1998
- [j1]Jean-François Dufourd, Pascal Mathis, Pascal Schreck:
Geometric Construction by Assembling Solved Subfigures. Artif. Intell. 99(1): 73-119 (1998) - 1997
- [c1]Jean-François Dufourd, Pascal Mathis, Pascal Schreck:
Formal Resolution of Geometrical Constraint Systems by Assembling. Symposium on Solid Modeling and Applications 1997: 271-284
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-28 20:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
