Generic computation of the real closure of an ordered field

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.

MoreLess

Year of publication:	1996
Authors:	Ligatsikas, Zenon ; Rioboo, Renaud ; Roy, Marie Françoise
Published in:	Mathematics and Computers in Simulation (MATCOM). - Elsevier, ISSN 0378-4754. - Vol. 42.1996, 4, p. 541-549
Publisher:	Elsevier
Subject:	Real algebraic numbers \| Axiom

More details

Type of publication:	Article
Source:	RePEc - Research Papers in Economics

Persistent link: https://www.econbiz.de/10010750093