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 :
بازگشت