Generic computation of the real closure of an ordered field

Zenon Ligatsikas, Renaud Rioboo and Marie Françoise Roy

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

Abstract: This paper describes a generalization of the real closure computation of an ordered field (Rioboo, 1991) enabling to use different techniques to code a single real algebraic number.

Keywords: Real algebraic numbers; Axiom (search for similar items in EconPapers)
Date: 1996
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378475496000316
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:541-549

DOI: 10.1016/S0378-4754(96)00031-6

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 ().