articles
Here are references to recent articles concerning some works in which I have been involved. Please note that links to pdf documents given here only provide drafts of the papers. Hopefully it is enough to understand the ideas behind the article, if not, do no hesitate to contact me.
Submitted
Publications en 2021
Two New Ways to Formally Prove Dandelin-Gallucci's Theorem, David Braun, Nicolas Magaud and Pascal Schreck, ISSAC 2021 : International Symposium on Symbolic and Algebraic Computation, Saint Petersburg, Russian Federation, ACM, doi:10.1145/3452143.3465550
Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach, Pascal Schreck, Nicolas Magaud and David Braun (proceedings of ADG 2021).
Publications en 2019
Two cryptomorphic formalizations of projective incidence geometry, David Braun, Nicolas Magaud and Pascal Schreck, Ann. Math. Artif. Intell., vol. 85, num 2-4, pp. 193--212, 2019, Kluwer Academic Publishers, https://doi.org/10.1007/s10472-018-9604-z, (SJR. Q2 Artif. Intelligence)
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq, Pierre Boutry, Charly Gries ,Julien Narboux and Pascal Schreck, J. Autom. Reasoning, vol. 62, num. 1, pp. 1--68, Kluwer Academic Publishers, 2019, https://doi.org/10.1007/s10817-017-9422-8, (SJR Q2, Comp. theory and math.)
On the Mechanization of Straightedge and Compass Constructions, P. Schreck, J. Systems Science & Complexity, vol. 32, num. , pp. 124--149, 2019, Springer New-York, https://doi.org/10.1007/s11424-019-8347-1 (SJR. Q2 Computer science)
Using jointly geometry and algebra to determine RC-constructibility, P. Schreck and P. Mathis. J. of Symbolic Computation , vol. 90, pp. 124--148, 2017, Elsevier, https://doi.org/10.1016/j.jsc.2018.04.006 (SJR Q2 Computational mathematics)
Publication en 2018
Formalizing Some "Small" Finite Models of Projective Geometry in Coq, David Braun, Nicolas Magaud and Pascal Schreck, 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, Suzhou, China.
Publications en 2017
A robust and efficient method for solving point distance problems by homotopy. R. Imbach, P. Mathis and P. Schreck. Mathematical Programming, Volume 163, issue 1-2, pp. 115-144. May 2017, doi:10.1007/s10107-016-1058-7
Publications en 2016
Determining automatically compass and straightedge unconstructibility in triangles, P. Mathis and P. Schreck. The 7th International Symposium on Symbolic Computation in Software Science, SCSS2016. Tokyo, March 2016.
Automatic Constructibility Checking of a Corpus of Geometric Construction Problems. P. Schreck and P. Mathis, Mathematics in Computer Science, Springer International Publishing, DOI: 10.1007/s11786-016-0247-3, Available on line, March 2016 (SJR Q3 in Comp. math.).
Constructibility Classes for Triangle Location Problems. P. Schreck, V. Marinkovic and P. Janicic, Mathematics in Computer Science, Springer International Publishing, 2016 (SJR Q3 in Comp. math.).
Wernick's List: a Final Update. P. Schreck, P. Mathis, V. Marinkovic and P. Janicic. Forum Geometricorum. 2016.
Publications en 2015
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems. V. Marinkovic, P. Janicic and P. Schreck. Post-proceedings of ADG2014, LNAI Series, num. 9201, pp. 72-93. Springer, 2015.
Publications en 2014
Leading a continuation method by geometry for solving geometric constraints. R. Imbach, P. Schreck, P. Mathis. Computer Aided Design, Elsevier, p. 138-147, Vol. 46, January 2014
Distance geometry and decomposition in geometric constraint solving, P. Mathis, P. Schreck. Computer Aided Design, Elsevier, 2014.
RC-constructibility of problems in Wernick's list, P. Schreck, P. Mathis. 10th International Workshop on Automated Deduction in Geometry, pp. 85--104, F. Botana and P. Quaresma (Eds.), Coimbra, Portugal, July 2014.
Solving Geometric Construction Problems Supported by Theorem proving, V. Marinkovic, P. Janicic, P. Schreck, 10th International Workshop on Automated Deduction in Geometry, pp. 121--145, F. Botana and P. Quaresma (Eds.), Coimbra, Portugal, July 2014
Using small scale automation to improve both accessibility and readability of formal proofs in geometry, P. Boutry, J. Narboux, P. Schreck, G. Braun, 10th International Workshop on Automated Deduction in Geometry, pp. 31--50, F. Botana and P. Quaresma (Eds.), Coimbra, Portugal, July 2014
Publications en 2013
Equation Systems with Free-Coordinates Determinants. P. Mathis and P. Schreck. Post-proceedings of ADG 2012. Edinburgh, Revised Selected Papers, Royaume-Uni, Ida, Tetsuo and Fleuriot, Jacques, Lecture Notes in Computer Science, Vol. 7993, pp. 59-70, doi:10.1007/978-3-642-40672-0_5, Springer Berlin Heidelberg,
Publications en 2012
Geometric Construction Problem Solving in Computer-Aided Learning (short paper), P. Schreck, P. Mathis and J. Narboux,
24th IEEE International Conference on Tools with Artificial Intelligence, November 7-9, 2012, Athens, Greece.
Equation systems with free-coordinates determinants, P. Mathis and P. Schreck, Workshop on Automated Deduction in Geometry, ADG 2012, Edimburg, Sept. 2012.
A Case Study in Formalizing Projective Geometry in Coq: Desargues Theorem. N. Magaud, J. Narboux, P. Schreck. Computational Geometry: Theory and Applications; Elsevier. Volume 45, Issue 8, Pages 406-424, 2012. (open archive : https://doi.org/10.1016/j.comgeo.2010.06.004)
Decomposition of geometrical constraint systems with reparameterization. P. Mathis, P. Schreck, R. Imbach. ACM 27th Symposium On Applied Computing. Trento, Italie, march 2012.
Publications en 2011
Tracking Paths for Reparametrized Geometrical Constraint Systems. Imbach Rémi, Mathis Pascal and Schreck Pascal. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011 (IEEE Computer Society’s Conference Publishing Services). Timisoara, Romania. September 2011.
Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems. S. Thierry, P. Schreck, D. Michelucci, C. Fünfzig, J.-D. Génevaux. Computer-Aided Design / Computer Aided Design, Volume 43, Issue 10, October 2011, Pages 1234-1249.
Formalization of Wu's simple method in Coq. J.-D. Génevaux, J. Narboux, P. Schreck. CPP 2011. Taïwan, Springer-Verlag, LNCS
Publications en 2010
Using the witness method to detect rigid subsystems of geometric constraints in CAD. D. MICHELUCCI, P. SCHRECK, S. THIERRY, C. FÜNFZIG, J.-D. GENEVAUX. ACM Symposium on Solid and Physical Modeling, ACM, Haïfa, Israël - september 2010.
Why under-constrained systems are not that bad. S. THIERRY, P. SCHRECK, P. MATHIS. Proceedings of ADG 2010 workshop, Munich July 2010.
Formalizing Projective Plane Geometry in Coq. N. MAGAUD, J. NARBOUX, P. SCHRECK. Post-Proceedings of ADG08. To be published in LNAI, hopefully in 2010.
Publications en 2009
Reconstruction multi-objets d'images 3D multi-labels à partir d'un algorithme de Delaunay Discret. D. BOLTCHEVA, D. BECHMANN, D. CAZIER, C. KERN, S. THERY, P. SCHRECK Journal REFIG (Revue Electronique Francophone d'Informatique Graphique), Vol. 3, Num. 1, pp 53--65 - 2009
Multi-semantic approach towards a generic formal solver of tool placement for percutaneous surgery. C. ESSERT, C. BAEGERT, P. SCHRECK International Conference on Knowledge Engineering and Ontology Development (KEOD 2009), pp 443-446 - october 2009
Formalizing Desargues' theorem in Coq using ranks. N. MAGAUD, J. NARBOUX, P. SCHRECK Proceedings of the ACM Symposium on Applied Computing SAC 2009, ACM Press, ACM - march 2009
Publications en 2008
Formalizing Projective Plane Geometry in Coq. N. MAGAUD, J. NARBOUX, P. SCHRECK. Proceedings of ADG08, september 2008. Extended paper will be published in LNAI post-proceedings, hopefully in 2010.
Combining symbolic and numerical solvers to simplify indecomposable systems solving. A. FABRE, P. SCHRECK. ACM Symposium on Applied Computing SAC 2008, ACM Press, march 2008.
Utiliser la sous-constriction pour résoudre des systèmes de contraintes géométriques. S. THIERRY, P. SCHRECK, P. MATHIS, A. FABRE. 8ème Conférence Internationale de Modélisation et Simulation (MOSIM'08) - march 2008.
Publications en 2007
Informatique graphique, modélisation géométrique et animation. C. JERMANN, D. MICHELUCCI, P. SCHRECK. Hermes Science, chap. Modélisation géométrique par contraintes, pp 185-214, Traité IC2 - february 2007.
Trajectory optimization for the planning of percutaneous radiofrequency ablation on hepatic tumors. C. BAEGERT, C. ESSERT, P. SCHRECK, L. SOLER, A. GANGI. Journal of Computer Aided Surgery, Vol. 12(2), Taylor & Francis, pp 82--90 - march 2007, issn: 1092-9088, doi:10.1080/10929080701312000.
Multi-criteria trajectory planning for hepatic radiofrequency. C. BAEGERT, C. ESSERT, P. SCHRECK, L. SOLER. Medical Image Computing and Computer Assisted Intervention (MICCAI'07), Springer, LNCS 4792, pp 676--684, Nicholas Ayache, Sébastien Ourselin, Anthony Maeder (Eds.), Brisbane, Australia - october 2007, issn: 0302-9743, isbn: 978-3-540-75758-0, doi:10.1007/978-3-540-75759-7_82
A formal-numerical approach to solve 3D geometric constraints systems. A. FABRE, P. SCHRECK. Geometric Modelling and Imaging, IEEE Computer Society, pp 54-59 - july 2007, issn: ISBN: 0-7695-2901, doi:10.1109/GMAI.2007.3
Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints. S. THIERRY, P. MATHIS, P. SCHRECK. SAC '07: Proceedings of the 22nd ACM Symposium on Applied Computing, ACM Press, pp 773--777, ACM, New York, NY, USA - march 2007, issn: 1-59593-480-4, doi:http://doi.acm.org/10.1145/1244002.1244174
Precise Determination of Regions of Interest for Hepatic RFA Planning (extended) . C. BAEGERT, C. ESSERT, P. SCHRECK, L. SOLER. SPIE Medical Imaging 2007: Visualization and Image-Guided Procedures, SPIE, pp paper 650923, Vol. 6509, Kevin R. Cleary and Michael I. Miga - february 2007, issn: isbn: 9780819466273, doi:10.1117/12.708757
Precise Determination of Regions of Interest for Hepatic RFA Planning. C. BAEGERT, C. ESSERT, P. SCHRECK, L. SOLER. Stud. Health Technol. Inform. 2007, proceedings of Medecine Meets Virtual Reality (MMVR 15), IOS Press, pp 31--36, J.D. Westwood et al Eds. - february 2007, issn: 0926-9630, isbn: 978-1-58603-713-0
Résolution de contraintes géométriques : des systèmes experts aux méthodes numériques (conférence invitée). P. SCHRECK. Journées Francophones de Programmation par Contraintes, INRIA, Annual workshop, pp xi-xii, INRIA - june 2007.
Track Editorial: Technical Track on Geometric Computing and Reasoning. X.-S. GAO, D. MICHELUCCI, P. SCHRECK. Editorial - In proceedings of ACM SAC 2007 conference, pp. 755-7556 - march 2007.
Publications en 2006
Constrained gesture interaction in 3D geometric construction. A. FABRE, L. STERNBERGER, P. SCHRECK, D. BECHMANN. Gesture in Human-Computer Interaction and Simulation: 6th International Gesture Workshop, GW 2005, Vol. 3881, Springer, Lectures Notes in Artificial Intelligence, pp 324--334 - 2006
Incidence constraints, a combinatorial approach. D. MICHELUCCI, P. SCHRECK. International Journal of Computational Geometry and Application, Vol. Vol. 16, Num. nos 5,6, Word Scientific, pp 443-460 - december 2006
Geometrical constraint system decomposition: a multi-group approach. P. SCHRECK, P. MATHIS. International Journal of Computational Geometry and Application, Vol. Vol. 16, Num. nos 5,6, Word Scientific, pp 431-442 - december 2006
Using the invariance under the similarity group to solve geometric constraint systems. P. SCHRECK, E. SCHRAMM. Computer Aided Design, Vol. 38, Num. 5, Elsevier, pp 475--484 - may 2006
Geometric constraints solving: some tracks. D. MICHELUCCI, S. FOUFOU, L. LAMARQUE, P. SCHRECK. SPM '06: Proceedings of the 2006 ACM symposium on Solid and physical modeling, ACM Press, New York, USA, pp 185--196, ACM - 2006 (Note : this a gzip-compressed pdf file).
Solving 3D Quasi-Decomposable Geometric Constraint Systems. A. FABRE, P. SCHRECK. ADG, International Workshop on Automated Deduction in Geometry, Universidade de Vigo, pp 31-36, F. Botana, E. Roanes-Lozano (Eds) - august 2006
A framework for geometric constraint satisfaction problem. J. WINTZ, P. SCHRECK, P. MATHIS, A. FABRE. 21th ACM Symposium of Applied Computing, Track 21 : Geometric Computing and Reasoning. Dijon, France, ACM Press, New York, USA, pp 974--978, ACM - april 2006
Compilation de systèmes à base de connaissances pour la résolution symbolique de contraintes géométriques. J. WINTZ, P. SCHRECK. Journées AFIG 2006 - december 2006
Publications en 2005
Constrained Gesture Interaction for 3D Geometric Constructions. A. FABRE, L. STERNBERGER, P. SCHRECK, D. BECHMANN. Gesture Workshop Mai 2005 Berder Island, Brittany. Extended Abstract (full paper published by LNAI 2006). - 2005
Optimal trajectories computation within regions of interest for hepatic RFA planning. C. ESSERT, C. BAEGERT, P. SCHRECK, L. SOLER, A. GANGI. Medical Image Computing and Computer Assisted Intervention (MICCAI'05), Springer Verlag, LNCS 3750, pp 49-56, Palm Springs, USA, CA - october 2005, issn: 0302-9743, isbn: 978-3-540-29326-2, doi:10.1007/11566489_7
Publications en 2004
Detecting Induced Incidences in the Projective Plane. D. MICHELUCCI, P. SCHRECK. Workshop Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE systems: From Methods to Applications, Novosibirsk (Russia) - 2004
Geometrical constraint system decomposition using transformation groups. P. MATHIS, P. SCHRECK. Workshop Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE systems: From Methods to Applications, Novosibirsk (Russia) - 2004
3D Geometric Constructions in Virtual Reality. A. FABRE, P. MATHIS, P. SCHRECK. 6th Virtual Reality international conference IEEE-VRIC 2004, pp 173-180, Laval (France) - may 2004
A meta-language for geometric constraint systems description, J. WINTZ, P. MATHIS, P. SCHRECK. Proceedings of the CAD conference. Bangkok 2004.
Publications en 2003
About the Lebesgue method. P. SCHRECK. Workshop on Geometric Constraint Solving associated with The Asian Symposium on Computer Mathematics (ASCM 03), Bejing (China) - october 2003
Combination of automatic and interactive tools for solution space browsing. C. ESSERT, P. SCHRECK, P. MATHIS, J.-F. DUFOURD. International Conference on Geometric Modelling & Graphics (GMAG), IEEE Computer Society Press, pp 14-21, London - july 2003, issn: 0-7695-1985-7, doi:10.1109/GMAG.2003.1219660
Solving Geometric Constraints Invariant Modulo the Similarity Group. E. SCHRAMM, P. SCHRECK. International Conference on Computational Science : workshop on Computer Graphics and Geometric Modeling, Springer-Verlag, LNCS, pp 356-365, Vol. 2669, V. Kumar, M. L. Gavrilova, C.J.K. Tan, P. L'Ecuyer, Monréal - may 2003, issn: 0302-9743
Constructions Géométriques en 3 Dimensions : Visualisation et Manipulation dans un environnement de Réalité Virtuelle. A. FABRE, H. CHREIK, P. MATHIS, P. SCHRECK. Journées Association Française d'Informatique Graphique AFIG'03 november 2003
Publications en 2002
A Case Study in Geometric Constructions. E. SCHRAMM, P. SCHRECK. International Conference on Computational Science : workshop on Computer Graphics and Geometric Modeling, Springer-Verlag, LNCS, pp 201-210, Num. 2330, P.M.A. Sloot, C.J. K. Tan, J.J. Dongarra, A.G. Hoekstra, Amsterdam - april 2002, issn: 0302-9743
Constructions géométriques formelles en CAO. P. SCHRECK, C. ESSERT. Workshop Groupe de Travail en Modélisation Géométrique (GTMG) - Ecole des Mines de Nantes - march 2002
Résolution symbolique de contraintes géométriques. P. SCHRECK. Mémoire d'habilitation à diriger des recherches. ULP - 2002
Publications en 2001
Higher-order intuitionistic formalization and proofs in Hilbert's elementary geometry. C. DEHLINGER, J.-F. DUFOURD, P. SCHRECK. Post-proceedings of the 3rd International Workshop on Automated Deduction in Geometry - Springer, LNAI 2061, pp 306-323, 2001
Robustness in CAD Geometric Construction. P. SCHRECK. 5th International Conference on Information Visualisation IV2001 - july 2001
Constructions géométriques, tour d'horizon. P. SCHRECK. Journées AFIG. Limoges, Décembre 2001
Publications en 2000
Sketch-based pruning of a solution space within a formal geometric constraint solver. C. ESSERT, P. SCHRECK, J.-F. DUFOURD. Artificial Intelligence Journal, Vol. 124(1), Elsevier, pp 139--159 - november 2000, issn: 0004-3702, doi:10.1016/S0004-3702(00)00061-8
Higher-order intuitionistic formalization and proofs in Hilbert's elementary geometry. C. DEHLINGER, J.-F. DUFOURD, P. SCHRECK. Proceedings of the 3rd Int. Workshop on Automated Deduction in Geometry (full paper published in LNAI 2001), Zurich - 2000
Exploration of a solution space structured by finite contraints. L. BRISOUX-DEVENDEVILLE, C. ESSERT, P. SCHRECK. W25, Workshop on Modelling and Solving Problems with Constraints, 14th European Conference on Artificial Intelligence (ECAI) - 2000
Selecting a figure using S-homotopy in a CAD system. C. ESSERT, P. SCHRECK, J.-F. DUFOURD. 4th International Conference on Computer Graphics and Artificial Intelligence - Limoges, May 2000
Publications en 1998
Geometric Construction by Assembling Solved Subfigures. Jean-François Dufourd, Pascal Mathis, Pascal Schreck, Artificial Intelligence 99(1), pp. 73-119
Publications en 1997
Formal Resolution of Geometrical Constraint Systems by Assembling, Jean-François Dufourd, Pascal Mathis, Pascal Schreck, Symposium on Solid Modeling and Applications 1997, pp. 271-284
Old stuff
Modélisation et implantation d'un système à base de connaissances pour les constructions géométriques. P. Schreck, Revue d'intelligence artificielle, Hermès, 1994.
Automatisation des constructions géométriques à la règle et au compas - P. SCHRECK, Thèse de l'Université Louis Pasteur, num. 1444, janvier 1993.
MiniP : un programme qui résout des problèmes de construction de triangles - Bernard Koch, Irène Riegle, Pascal Schreck in EPI (Journal for the promotion of computer science in french high school), num. 66, June, 1992
Les constructions à la règle et au compas par une méthode algébrique - Guoting CHEN, Rapport de stage de DEA 1991-1992.