Dynamic evaluation and real closure
The aim of this paper is to present how the dynamic evaluation method can be used to deal with the real closure of an ordered field. Two kinds of questions, or tests, may be asked in an ordered field: equality tests (a = b?) and sign tests (a > b?). Equality tests are handled through splittings, exactly as in the algebraic closure of a field. Sign tests are handled through a structure called “Tarski data type”.
Year of publication: |
1996
|
---|---|
Authors: | Duval, D. ; González-Vega, L. |
Published in: |
Mathematics and Computers in Simulation (MATCOM). - Elsevier, ISSN 0378-4754. - Vol. 42.1996, 4, p. 551-560
|
Publisher: |
Elsevier |
Subject: | Computer algebra | Ordered fields | Algebraic numbers | Real closure | Quantifier elimination | Dynamic evaluation |
Saved in:
Online Resource
Saved in favorites
Similar items by subject
-
Sketches and computations over fields
Duval, Dominique, (1996)
-
Examples of using dynamic constructible closure
Gómez-Díaz, Teresa, (1996)
-
An exact correspondence of linear problems and randomizing linear algorithms
Eaves, Burchett Curtis, (2014)
- More ...