Nonstandard decision methods for the solvability of real polynomial equations

DOI10.1007/BF02876025zbMATH Open0976.12001OpenAlexW2321177036MaRDI QIDQ1974173FDOQ1974173

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

computational algebraic geometryreal polynomialsnon-Archimedean ordered fields

Mathematics Subject Classification ID

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

Cites Work

• A new decision method for elementary algebra
• Lectures on formally real fields
• On the extension of real places
• A complete discrimination system for polynomials
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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

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