id: 01920699
dt: j
an: 01920699
au: Ligatsikas, Zenon; Rioboo, R.; Roy, M. F.
ti: Generic computation of the real closure of an ordered field.
so: Math. Comput. Simul. 42, No. 4-6, 541-549 (1996).
py: 1996
pu: Elsevier Science B.V. (North-Holland), Amsterdam
la: EN
cc: G.1 I.1
ut: computer algebra; real algebraic number; axiom
ci: 
li: doi:10.1016/S0378-4754(96)00031-6
ab: Summary: 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.
rv: