Pascal Mathis

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 4

Top Topics

Constraint Solvers

Geometrical Properties

Multiview Images

Constraint Problems

Top Venues

Comput. Aided Des.

Math. Comput. Sci.

Publications

Pascal Schreck, Pascal Mathis
Using jointly geometry and algebra to determine RC-constructibility. J. Symb. Comput. 90 (2019)
Rémi Imbach, Pascal Mathis, Pascal Schreck
A robust and efficient method for solving point distance problems by homotopy. Math. Program. 163 (1-2) (2017)
Pascal Schreck, Pascal Mathis
Automatic Constructibility Checking of a Corpus of Geometric Construction Problems. Math. Comput. Sci. 10 (1) (2016)
Pascal Mathis, Pascal Schreck
Determining automatically compass and straightedge unconstructibility in triangles. SCSS (2016)
Rémi Imbach, Pascal Mathis, Pascal Schreck
A Robust and Efficient Method for Solving Geometrical Constraint Problems by Homotopy. CoRR (2015)
Pascal Mathis, Pascal Schreck
Coordinate-free geometry and decomposition in geometrical constraint solving. Comput. Aided Des. 50 (2014)
Rémi Imbach, Pascal Schreck, Pascal Mathis
Leading a continuation method by geometry for solving geometric constraints. Comput. Aided Des. 46 (2014)
Pascal Mathis, Pascal Schreck
Equation Systems with Free-Coordinates Determinants. Automated Deduction in Geometry (2012)
Pascal Mathis, Pascal Schreck, Rémi Imbach
Decomposition of geometrical constraint systems with reparameterization. SAC (2012)
Pascal Schreck, Pascal Mathis, Julien Narboux
Geometric Construction Problem Solving in Computer-Aided Learning. ICTAI (2012)
Rémi Imbach, Pascal Mathis, Pascal Schreck
Tracking Method for Reparametrized Geometrical Constraint Systems. SYNASC (2011)
Pascal Mathis, Simon E. B. Thierry
A formalization of geometric constraint systems and their decomposition. Formal Aspects Comput. 22 (2) (2010)
Simon E. B. Thierry, Pascal Mathis, Pascal Schreck
Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints. SAC (2007)
Julien Wintz, Pascal Schreck, Pascal Mathis
A framework for geometric constraint satisfaction problem. SAC (2006)
Pascal Schreck, Pascal Mathis
Geometrical Constraint System Decomposition: a Multi-group Approach. Int. J. Comput. Geom. Appl. 16 (5-6) (2006)
Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Pascal Mathis
Decomposition of Geometric Constraint Systems: a Survey. Int. J. Comput. Geom. Appl. 16 (5-6) (2006)
Caroline Essert-Villard, Pascal Schreck, Pascal Mathis, Jean-François Dufourd
Combination of Automatic and Interactive Tools for Solution Space Browsing. GMAG (2003)
Caroline Essert-Villard, Pascal Mathis
Interactive Handling of a Construction Plan in CAD. IV (2001)
Jean-François Dufourd, Pascal Mathis, Pascal Schreck
Geometric Construction by Assembling Solved Subfigures. Artif. Intell. 99 (1) (1998)
Jean-François Dufourd, Pascal Mathis, Pascal Schreck
Formal Resolution of Geometrical Constraint Systems by Assembling. Symposium on Solid Modeling and Applications (1997)