Generic Closure Of an Ordered Field, Implementation in Axiom

Zenon Ligatsikas , Renaud Rioboo (1) , Marie-Françoise Roy

1 CALFOR - Calcul formel

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.

Domaines: Informatique [cs]

Zenon Ligatsikas, Renaud Rioboo, Marie-Françoise Roy. Generic Closure Of an Ordered Field, Implementation in Axiom. Mathematics and Computers in Simulation, 1996, 42, pp.541-549. ⟨10.1016/S0378-4754(96)00031-6⟩. ⟨hal-01148935⟩