2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CG2022★ 2 cited
Mechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach
Pascal Schreck, Nicolas Magaud, David Braun
Several tools have been developed to enhance automation of theorem proving in the 2D plane. However, in 3D, only a few approaches have been studied, and to our knowledge, nothing h…
cs.CG2015
A Robust and Efficient Method for Solving Point Distance Problems by Homotopy
Rémi Imbach, Pascal Mathis, Pascal Schreck
The goal of Point Distance Solving Problems is to find 2D or 3D placements of points knowing distances between some pairs of points. The common guideline is to solve them by a nume…