Title of article
On the Number of Sets Definable by Polynomials
Author/Authors
Gabriela Jeronimo، نويسنده , , Juan Sabia، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
12
From page
633
To page
644
Abstract
We show that the known algorithms used to re-write any first order quantifier-free formula over an algebraically closed field into its normal disjunctive form are essentially optimal. This result follows from an estimate of the number of sets definable by equalities and inequalities of fixed polynomials. Finally we apply our results to obtain similar estimates in the real case.
Keywords
polynomial-definable sets , Algebraic complexity , Algorithms
Journal title
Journal of Algebra
Serial Year
2000
Journal title
Journal of Algebra
Record number
694997
Link To Document