Pascal Mathis

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Using jointly geometry and algebra to determine RC-constructibility Journal of Symbolic Computation	2018-06-14	Paper
A robust and efficient method for solving point distance problems by homotopy Mathematical Programming. Series A. Series B	2017-05-15	Paper
Automatic constructibility checking of a corpus of geometric construction problems Mathematics in Computer Science	2016-06-16	Paper
Wernick's list: a final update Forum Geometricorum	2016-03-24	Paper
Equation systems with free-coordinates determinants Automated Deduction in Geometry	2013-09-20	Paper
A formalization of geometric constraint systems and their decomposition Formal Aspects of Computing	2010-05-05	Paper
DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY International Journal of Computational Geometry & Applications	2007-02-09	Paper
GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH International Journal of Computational Geometry & Applications	2007-02-09	Paper
Geometric construction by assembling solved subfigures Artificial Intelligence	1998-08-13	Paper

Research outcomes over time

This page was built for person: Pascal Mathis