Formal Resolution of Geometrical Constraint Systems by Assembling. - Jean-François Dufourd; Pascal Mathis; Pascal Schreck (Symposium on Solid Modeling and Applications, 1997)

Geometric Construction by Assembling Solved Subfigures. - Jean-François Dufourd; Pascal Mathis; Pascal Schreck (Artif. Intell., 1998)

Interactive Handling of a Construction Plan in CAD. - Caroline Essert-Villard; Pascal Mathis (IV, 2001)

Combination of Automatic and Interactive Tools for Solution Space Browsing. - Caroline Essert-Villard; Pascal Schreck; Pascal Mathis; Jean-François Dufourd (GMAG, 2003)

A framework for geometric constraint satisfaction problem. - Julien Wintz; Pascal Schreck; Pascal Mathis (SAC, 2006)

Decomposition of Geometric Constraint Systems: a Survey. - Christophe Jermann; Gilles Trombettoni; Bertrand Neveu; Pascal Mathis (Int. J. Comput. Geom. Appl., 2006)

Geometrical Constraint System Decomposition: a Multi-group Approach. - Pascal Schreck; Pascal Mathis (Int. J. Comput. Geom. Appl., 2006)

Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints. - Simon E. B. Thierry; Pascal Mathis; Pascal Schreck (SAC, 2007)

A formalization of geometric constraint systems and their decomposition. - Pascal Mathis; Simon E. B. Thierry (Formal Aspects Comput., 2010)

Tracking Method for Reparametrized Geometrical Constraint Systems. - Rémi Imbach; Pascal Mathis; Pascal Schreck (SYNASC, 2011)

Equation Systems with Free-Coordinates Determinants. - Pascal Mathis; Pascal Schreck (Automated Deduction in Geometry, 2012)

Geometric Construction Problem Solving in Computer-Aided Learning. - Pascal Schreck; Pascal Mathis; Julien Narboux (ICTAI, 2012)

Decomposition of geometrical constraint systems with reparameterization. - Pascal Mathis; Pascal Schreck; Rémi Imbach (SAC, 2012)

Leading a continuation method by geometry for solving geometric constraints. - Rémi Imbach; Pascal Schreck; Pascal Mathis (Comput. Aided Des., 2014)

Coordinate-free geometry and decomposition in geometrical constraint solving. - Pascal Mathis; Pascal Schreck (Comput. Aided Des., 2014)

A Robust and Efficient Method for Solving Geometrical Constraint Problems by Homotopy. - Rémi Imbach; Pascal Mathis; Pascal Schreck (CoRR, 2015)

Determining automatically compass and straightedge unconstructibility in triangles. - Pascal Mathis; Pascal Schreck (SCSS, 2016)

Automatic Constructibility Checking of a Corpus of Geometric Construction Problems. - Pascal Schreck; Pascal Mathis (Math. Comput. Sci., 2016)

A robust and efficient method for solving point distance problems by homotopy. - Rémi Imbach; Pascal Mathis; Pascal Schreck (Math. Program., 2017)

Using jointly geometry and algebra to determine RC-constructibility. - Pascal Schreck; Pascal Mathis (J. Symb. Comput., 2019)