Nonstandard decision methods for the solvability of real polynomial equations (Q1974173)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Nonstandard decision methods for the solvability of real polynomial equations |
scientific article; zbMATH DE number 1439311
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nonstandard decision methods for the solvability of real polynomial equations |
scientific article; zbMATH DE number 1439311 |
Statements
Nonstandard decision methods for the solvability of real polynomial equations (English)
0 references
13 July 2000
0 references
The author gives two criteria of solvability of a real multivariate polynomial equation and applies them to solve several examples. The main idea is to reduce the solvability problem in the original real field to that in a non-Archimedean extension, which results in an efficient algorithm for binary polynomials.
0 references
computational algebraic geometry
0 references
real polynomials
0 references
non-Archimedean ordered fields
0 references
