Pascal Mathis

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