Title of article
Generic computation of the real closure of an ordered field Original Research Article
Author/Authors
Zenon Ligatsikas، نويسنده , , Renaud Rioboo، نويسنده , , Marie-Francoise Roy، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
9
From page
541
To page
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
Axiom , Real algebraic numbers
Journal title
Mathematics and Computers in Simulation
Serial Year
1996
Journal title
Mathematics and Computers in Simulation
Record number
853204
Link To Document