QE IN RADICAL EQUATION AND SOLID GEOMETRY
Mirna UDOVICIC
Abstract
The first elementary recursive real quantifier elimination procedure was based on cylindrical algebraic decomposition (CAD). A method of QE has a wide range of applications in many other areas. An interesting application in solving radical equations was presented through the examples. Also, an application in geometry, more precisely in the implicitization of parametric curves and surfaces was presented. A very complex example of implicitization of the Enneper surface was presented. This topic is significant in solid geometry; in problems of finding the intersection curve of two surfaces, it is the most convenient that one surface is presented by its implicit, while the other one is presented by parametric form.
Pages:
453 - 465