# Pascal Mathis

According to our database

Collaborative distances:

^{1}, Pascal Mathis authored at least 20 papers between 1997 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2019

J. Symb. Comput., 2019

2017

Math. Program., 2017

2016

Automatic Constructibility Checking of a Corpus of Geometric Construction Problems.

Math. Comput. Sci., 2016

Determining automatically compass and straightedge unconstructibility in triangles.

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.

CoRR, 2015

2014

Comput. Aided Des., 2014

Comput. Aided Des., 2014

2012

Proceedings of the ACM Symposium on Applied Computing, 2012

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

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

2011

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

2010

Formal Aspects Comput., 2010

2007

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

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

2006

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

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

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

2003

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

2001

Proceedings of the International Conference on Information Visualisation, 2001

1998

Artif. Intell., 1998

1997

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