Nonstandard decision methods for the solvability of real polynomial equations (Q1974173)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nonstandard decision methods for the solvability of real polynomial equations |
scientific article |
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
