scientific article; zbMATH DE number 4154415

zbMATH Open0704.03013MaRDI QIDQ3483265FDOQ3483265

Authors: Joos Heintz, Pablo Solernó, Marie-Françoise Roy 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• Sur la complexité du principe de Tarski-Seidenberg
• scientific article; zbMATH DE number 3895043
• On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
• On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
• scientific article; zbMATH DE number 4150340

zbMATH Keywords

real closed fieldparallel complexityordered fieldssequential complexityTarski-Seidenberg principlealgorithm computing a quantifier free formula

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Model-theoretic algebra (03C60) Global ground fields in algebraic geometry (14G25) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Cited In (13)

• Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces
• Sur la complexité du principe de Tarski-Seidenberg
• Polar varieties, real equation solving, and data structures: the hypersurface case
• Complexity of deciding Tarski algebra
• Finding connected components of a semialgebraic set in subexponential time
• Generalized polar varieties and an efficient real elimination.
• Generalized polar varieties: geometry and algorithms
• Effective Łojasiewicz inequalities in semialgebraic geometry
• Parallel time and quantifier prefixes
• Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity
• Title not available (Why is that?)
• Une borne optimale pour la programmation entière quasi-convexe
• The complexity of Tarski's fixed point theorem

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3483265)