Pascal Mathis

According to our database, Pascal Mathis authored at least 20 papers between 1997 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Using jointly geometry and algebra to determine RC-constructibility.

Pascal Schreck, Pascal Mathis

J. Symb. Comput., 2019

2017

A robust and efficient method for solving point distance problems by homotopy.

Rémi Imbach, Pascal Mathis, Pascal Schreck

Math. Program., 2017

2016

Automatic Constructibility Checking of a Corpus of Geometric Construction Problems.

Pascal Schreck, Pascal Mathis

Math. Comput. Sci., 2016

Determining automatically compass and straightedge unconstructibility in triangles.

Pascal Mathis, Pascal Schreck

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.

Rémi Imbach, Pascal Mathis, Pascal Schreck

CoRR, 2015

2014

Coordinate-free geometry and decomposition in geometrical constraint solving.

Pascal Mathis, Pascal Schreck

Comput. Aided Des., 2014

Leading a continuation method by geometry for solving geometric constraints.

Rémi Imbach, Pascal Schreck, Pascal Mathis

Comput. Aided Des., 2014

2012

Decomposition of geometrical constraint systems with reparameterization.

Pascal Mathis, Pascal Schreck, Rémi Imbach

Proceedings of the ACM Symposium on Applied Computing, 2012

Geometric Construction Problem Solving in Computer-Aided Learning.

Pascal Schreck, Pascal Mathis, Julien Narboux

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Equation Systems with Free-Coordinates Determinants.

Pascal Mathis, Pascal Schreck

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012

2011

Tracking Method for Reparametrized Geometrical Constraint Systems.

Rémi Imbach, Pascal Mathis, Pascal Schreck

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

2010

A formalization of geometric constraint systems and their decomposition.

Pascal Mathis, Simon E. B. Thierry

Formal Aspects Comput., 2010

2007

Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints.

Simon E. B. Thierry, Pascal Mathis, Pascal Schreck

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006

Geometrical Constraint System Decomposition: a Multi-group Approach.

Pascal Schreck, Pascal Mathis

Int. J. Comput. Geom. Appl., 2006

Decomposition of Geometric Constraint Systems: a Survey.

Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Pascal Mathis

Int. J. Comput. Geom. Appl., 2006

A framework for geometric constraint satisfaction problem.

Julien Wintz, Pascal Schreck, Pascal Mathis

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2003

Combination of Automatic and Interactive Tools for Solution Space Browsing.

Caroline Essert-Villard, Pascal Schreck, Pascal Mathis, Jean-François Dufourd

Proceedings of the 2003 International Conference on Geometric Modeling and Graphics, 2003

2001

Interactive Handling of a Construction Plan in CAD.

Caroline Essert-Villard, Pascal Mathis

Proceedings of the International Conference on Information Visualisation, 2001

1998

Geometric Construction by Assembling Solved Subfigures.

Jean-François Dufourd, Pascal Mathis, Pascal Schreck

Artif. Intell., 1998

1997

Formal Resolution of Geometrical Constraint Systems by Assembling.

Jean-François Dufourd, Pascal Mathis, Pascal Schreck

Proceedings of the Fourth Symposium on Solid Modeling and Applications, 1997