Practically solving some problems expressed in the first order theory of real closed field

DOI10.1080/00207169808804723MaRDI QIDQ4256129zbMATH OpenOpenAlexFDO

Authors Shilong Ma, Shucheng Ning

Publication date 28 June 1999

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207169808804723

zbMATH Keywords

real closed fieldTh(RLC)

Mathematics Subject Classification ID

Recommendations

• 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
• Computer Science Logic
• On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination

Cites work

• scientific article; zbMATH DE number 3708274 (Why is no real title available?)
• scientific article; zbMATH DE number 3222940 (Why is no real title available?)
• scientific article; zbMATH DE number 3053259 (Why is no real title available?)
• A Cubic System with Eight Small-Amplitude Limit Cycles
• Definability and fast quantifier elimination in algebraically closed fields

Cited in

(1)

• Limits of theory sequences over algebraically closed fields and applications.

This page was built for publication: Practically solving some problems expressed in the first order theory of real closed field

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