Nonstandard decision methods for the solvability of real polynomial equations

DOI10.1007/BF02876025zbMath0976.12001OpenAlexW2321177036MaRDI QIDQ1974173

Guangxing Zeng

Publication date: 13 July 2000

Published in: Science in China. Series A (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02876025

zbMATH Keywords

real polynomialscomputational algebraic geometrynon-Archimedean ordered fields

Mathematics Subject Classification ID

Computational aspects and applications of commutative rings (13P99) Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Nonstandard models in mathematics (03H05) Non-Archimedean valued fields (12J25)

Cites Work

• A complete discrimination system for polynomials
• Lectures on formally real fields
• On the extension of real places
• A new decision method for elementary algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nonstandard decision methods for the solvability of real polynomial equations