Pascal Schreck

According to our database1, Pascal Schreck authored at least 46 papers between 1997 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Using jointly geometry and algebra to determine RC-constructibility.
J. Symb. Comput., 2019

On the Mechanization of Straightedge and Compass Constructions.
J. Systems Science & Complexity, 2019

Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.
J. Autom. Reasoning, 2019

Foreword - Formalization of geometry, automated and interactive geometric reasoning.
Ann. Math. Artif. Intell., 2019

Two cryptomorphic formalizations of projective incidence geometry.
Ann. Math. Artif. Intell., 2019

2018
Formalizing Some "Small" Finite Models of Projective Geometry in Coq.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017
A robust and efficient method for solving point distance problems by homotopy.
Math. Program., 2017

2016
Constructibility Classes for Triangle Location Problems.
Mathematics in Computer Science, 2016

Automatic Constructibility Checking of a Corpus of Geometric Construction Problems.
Mathematics in Computer Science, 2016

Determining automatically compass and straightedge unconstructibility in triangles.
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.
CoRR, 2015

2014
Coordinate-free geometry and decomposition in geometrical constraint solving.
Computer-Aided Design, 2014

Leading a continuation method by geometry for solving geometric constraints.
Computer-Aided Design, 2014

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.
Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014

2012
A case study in formalizing projective geometry in Coq: Desargues theorem.
Comput. Geom., 2012

Decomposition of geometrical constraint systems with reparameterization.
Proceedings of the ACM Symposium on Applied Computing, 2012

Geometric Construction Problem Solving in Computer-Aided Learning.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Equation Systems with Free-Coordinates Determinants.
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.
Computer-Aided Design, 2011

Tracking Method for Reparametrized Geometrical Constraint Systems.
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

Formalization of Wu's Simple Method in Coq.
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.
Proceedings of the ACM Symposium on Solid and Physical Modeling, 2010

2009
Formalizing Desargues' theorem in Coq using ranks.
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.
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.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Combining symbolic and numerical solvers to simplify indecomposable systems solving.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Formalizing Projective Plane Geometry in Coq.
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.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Precise determination of regions of interest for hepatic RFA planning.
Proceedings of the Medical Imaging 2007: Visualization and Image-Guided Procedures, 2007

Multi-criteria Trajectory Planning for Hepatic Radiofrequency Ablation.
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.
Int. J. Comput. Geometry Appl., 2006

Incidence Constraints: a Combinatorial Approach.
Int. J. Comput. Geometry Appl., 2006

Using invariance under the similarity group to solve geometric constraint systems.
Computer-Aided Design, 2006

Geometric constraints solving: some tracks.
Proceedings of the ACM Symposium on Solid and Physical Modeling 2006, 2006

A framework for geometric constraint satisfaction problem.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Editorial message: technical track on geometric computing and reasoning.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005
Optimal Trajectories Computation Within Regions of Interest for Hepatic RFA Planning.
Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 2005

Constrained Gesture Interaction in 3D Geometric Constructions.
Proceedings of the Gesture in Human-Computer Interaction and Simulation, 2005

2003
Solving Geometric Constraints Invariant Modulo the Similarity Group.
Proceedings of the Computational Science and Its Applications, 2003

Combination of Automatic and Interactive Tools for Solution Space Browsing.
Proceedings of the 2003 International Conference on Geometric Modeling and Graphics, 2003

2002
A Case Study in Geometric Constructions.
Proceedings of the Computational Science - ICCS 2002, 2002

2001
Robustness in CAD Geometric Constructions.
Proceedings of the International Conference on Information Visualisation, 2001

2000
Sketch-based pruning of a solution space within a formal geometric constraint solver.
Artif. Intell., 2000

Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry.
Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1998
Geometric Construction by Assembling Solved Subfigures.
Artif. Intell., 1998

1997
Formal Resolution of Geometrical Constraint Systems by Assembling.
Proceedings of the Fourth Symposium on Solid Modeling and Applications, 1997


  Loading...