Kronecker's and Newton's approaches to solving: a first comparison
D Castro, LM Pardo, K Hägele, JE Morais - Journal of complexity, 2001 - Elsevier
These pages are a first attempt to compare the efficiency of symbolic and numerical analysis
procedures that solve systems of multivariate polynomial equations. In particular, we …
procedures that solve systems of multivariate polynomial equations. In particular, we …
Lower bounds for arithmetic networks
We show lower bounds for depth of arithmetic networks over algebraically closed fields, real
closed fields and the field of the rationals. The parameters used are either the degree or the …
closed fields and the field of the rationals. The parameters used are either the degree or the …
On the intrinsic complexity of the arithmetic Nullstellensatz
We show several arithmetic estimates for Hilbert's Nullstellensatz. This includes an
algorithmic procedure computing the polynomials and constants occurring in a Bézout …
algorithmic procedure computing the polynomials and constants occurring in a Bézout …
On randomized semi-algebraic test complexity
We investigate the impact of randomization on the complexity of deciding membership in a
(semi-) algebraic subset X⊂ R m. Examples are exhibited where allowing for a certain error …
(semi-) algebraic subset X⊂ R m. Examples are exhibited where allowing for a certain error …
Test complexity of generic polynomials
We investigate the complexity of algebraic decision trees deciding membership in a
hypersurface X⊂ C m. We prove an optimal lower bound on the number of additions …
hypersurface X⊂ C m. We prove an optimal lower bound on the number of additions …
A note on Rabin's width of a complete proof
We introduce and analyze the concept of generic width of a semialgebraic set, showing that
it gives lower bounds for decisional complexities. By means of the computation of the …
it gives lower bounds for decisional complexities. By means of the computation of the …
Semi-algebraic decision complexity, the real spectrum, and degree
T Lickteig - Journal of pure and applied algebra, 1996 - Elsevier
Semi-algebraic decision complexity introduces a quantitative finiteness aspect into semi-
algebraic geometry. In this paper we combine methods from abstract real algebraic …
algebraic geometry. In this paper we combine methods from abstract real algebraic …
On Voronoi diagrams in the L p -metric in higher dimensions
NM Lê - STACS 94: 11th Annual Symposium on Theoretical …, 1994 - Springer
We prove upper bounds on the number of L p-spheres passing through D+ 1 points in
general position in D-space, and on the sum of the Betti numbers of the intersection of …
general position in D-space, and on the sum of the Betti numbers of the intersection of …
Verification complexity of linear prime ideals
P Bürgisser, T Lickteig - Journal of pure and applied algebra, 1992 - Elsevier
The topic of this paper is the complexity of algebraic decision trees deciding membership in
an algebraic subset X⊆ R m where R is a real or algebraically closed field. We define a …
an algebraic subset X⊆ R m where R is a real or algebraically closed field. We define a …
An extension of Warren's lower bounds for approximations
This note reflects an extension of the methods of HE Warren for obtaining lower bounds for
approximations of a compact class of continuous functions. We extend his lower bounds to …
approximations of a compact class of continuous functions. We extend his lower bounds to …