Subject: QA Mathematics
Year: 2024
Type: Article
Type: NonPeerReviewed
Title: QE IN RADICAL EQUATION AND SOLID GEOMETRY
Author: Udovicic, Mirna
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.
Publisher: Faculty of Natural Sciences and Mathematics, Republic of North Macedonia
Relation: https://eprints.unite.edu.mk/1975/
Identifier: oai:eprints.unite.edu.mk:1975
Identifier: https://eprints.unite.edu.mk/1975/1/revista%20-%202024-453-465.pdfIdentifier: Udovicic, Mirna (2024) QE IN RADICAL EQUATION AND SOLID GEOMETRY. JNSM Journal of Natural Sciences and Mathematics of UT, 9 (17-18). pp. 453-465. ISSN 2671-3039
