Sciweavers

ISSAC
1992
Springer
95views Mathematics» more  ISSAC 1992»
14 years 3 months ago
Real Algebraic Closure of an Ordered Field: Implementation in Axiom
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...
Renaud Rioboo