QE IN RADICAL EQUATION AND SOLID GEOMETRY

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

Text revista - 2024-453-465.pdf Download (489kB)

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.

Item Type:	Article
Subjects:	Q Science > QA Mathematics
Divisions:	Faculty of Engineering, Science and Mathematics > School of Mathematics
Depositing User:	Unnamed user with email zshi@unite.edu.mk
Date Deposited:	26 Dec 2024 14:30
Last Modified:	26 Dec 2024 14:30
URI:	http://eprints.unite.edu.mk/id/eprint/1975

Actions (login required)

View Item