scientific article; zbMATH DE number 1824153

MaRDI QIDQ3153442zbMATH OpenFDO

Authors Jimin Wang, Lian Li

Publication date 15 January 2003

zbMATH Keywords

decidable algorithmGröbner basesinclusion of quasi-algebraic varieties

Mathematics Subject Classification ID

Computational aspects in algebraic geometry (14Q99) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1795752
• scientific article; zbMATH DE number 4104382
• scientific article; zbMATH DE number 1292982
• scientific article; zbMATH DE number 4079376
• 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

Cited in

(4)

• scientific article; zbMATH DE number 4079376 (Why is no real title available?)
• scientific article; zbMATH DE number 4104382 (Why is no real title available?)
• scientific article; zbMATH DE number 1292982 (Why is no real title available?)
• scientific article; zbMATH DE number 1795752 (Why is no real title available?)

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 Q3153442)