Browsing European Workshop on Computational Geometry (20th. 2004. Sevilla) by Subject "Simbolyc computation"
Now showing items 1-1 of 1
-
Presentation
A completion of hypotheses method for 3D-geometry. 3D-extensions of Ceva and Menelaus theorems
(2004)A method that automates hypotheses completion in 3D-Geometry is presented. It consists of three processes: defi ning the ...