RO EN
A zero-dimensional approach to compute real radicals
Authors: Silke J. Spang
– 0.27 Mb
Abstract
The notion of real radicals is a fundamental tool in Real Algebraic Geometry. It takes the role of the radical ideal in Complex Algebraic Geometry. In this article I shall describe the zero-dimensional approach and efficiency improvement I have found during the work on my diploma thesis at the University of Kaiserslautern (cf. [6]). The main focus of this article is on maximal ideals and the properties they have to fulfil to be real. New theorems and properties about maximal ideals are introduced which yield an heuristic prepare_max which splits the maximal ideals into three classes, namely real, not real and the class where we can't be sure whether they are real or not. For the latter we have to apply a coordinate change into general position until we are sure about realness. Finally this constructs a randomized algorithm for real radicals. The underlying theorems and algorithms are described in detail.Silke J. Spang
Fraunhofer Institute for Industrial Mathematics (ITWM)
Department System Analysis, Prognosis and Control
Kaiserslautern, Germany
E-mail:
Fraunhofer Institute for Industrial Mathematics (ITWM)
Department System Analysis, Prognosis and Control
Kaiserslautern, Germany
E-mail:
Fulltext
– 0.27 Mb
Contents
- Introduction
- A New Attempt On The F5 Criterion
- Some Remarks on Blowing-Ups in a Computer Algebra System
- Computing one of Victor Moll's irresistible integrals with computer algebra
- An algebraic approach to a study of two-dimensional affine differential system
- A zero-dimensional approach to compute real radicals
- Grobner Bases for Nonlinear DAE Systems of Analog Circuits
- Private Key Extension of Polly Cracker Cryptosystems
- On the Cancellation Rule in the Homogenization
- Approaches to automated construction of graphical shells for computer algebra systems
- Congratulations
