Dynamic evaluation and real closure

D. Duval and L. González-Vega

Mathematics and Computers in Simulation (MATCOM), 1996, vol. 42, issue 4, 551-560

Abstract: 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”.

Keywords: Computer algebra; Ordered fields; Algebraic numbers; Real closure; Quantifier elimination; Dynamic evaluation (search for similar items in EconPapers)
Date: 1996
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378475496000328
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:matcom:v:42:y:1996:i:4:p:551-560

DOI: 10.1016/S0378-4754(96)00032-8

Access Statistics for this article

Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens

More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier
Bibliographic data for series maintained by Catherine Liu ().