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

DOI10.1080/00207169808804723zbMath0940.68127OpenAlexW2074482403MaRDI QIDQ4256129

Shucheng Ning, Shilong Ma

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

Related Items (1)

Limits of theory sequences over algebraically closed fields and applications.

Cites Work

• Definability and fast quantifier elimination in algebraically closed fields
• A Cubic System with Eight Small-Amplitude Limit Cycles
• Unnamed Item
• Unnamed Item
• Unnamed Item

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