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

DOI10.1080/00207169808804723zbMATH Open0940.68127OpenAlexW2074482403MaRDI QIDQ4256129FDOQ4256129

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

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

zbMATH Keywords

real closed fieldTh(RLC)

Mathematics Subject Classification ID

Cites Work

• Definability and fast quantifier elimination in algebraically closed fields
• A Cubic System with Eight Small-Amplitude Limit Cycles
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)