Search

Your search keyword '"Roanes-Macías, Eugenio"' showing total 32 results

Search Constraints

Start Over You searched for: Author "Roanes-Macías, Eugenio" Remove constraint Author: "Roanes-Macías, Eugenio"
32 results on '"Roanes-Macías, Eugenio"'

Search Results

2. A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry

25. Some reflections on dynamic geometry systems (the GUI for ADG)

26. A completion of hypotheses method for 3D-geometry. 3D-extensions of Ceva and Menelaus theorems

30. A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.

31. SOME APPLICATIONS OF GRÖBNER BASES.

Catalog

Books, media, physical & digital resources