zbMATH — the first resource for mathematics

Logic-algebraic methods for solving geometric problems and the development of software for computer-aided design systems. (Logiko-algebraicheskie metody resheniya geometricheskikh zadach i razrabotka programmnogo obespecheniya SAPR.) (Russian) Zbl 0918.68115
Kiev: Naukova Dumka. 141 p. (1991).
Publisher’s description (translated from the Russian): “The book presents a general approach to the solution of a wide class of problems of computational geometry that is based on the formalization of problems as formulas of the theory of real closed fields and the application of a decision procedure of this theory. A parametric model of a geometric object and the language realizing it are described, in the framework of which one can formalize the process of construction. “The book is intended for applied mathematicians and engineers in the field of computer-aided design systems. It can also be useful as a basis for the preparation of special courses in departments of applied mathematics and cybernetics at universities”.

68U05 Computer graphics; computational geometry (digital and algorithmic aspects)
65D18 Numerical aspects of computer graphics, image analysis, and computational geometry
68U07 Computer science aspects of computer-aided design
68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science