Real algebraic closure of an ordered field: implementation in Axiom

  • Authors:
  • Renaud Rioboo

  • Affiliations:
  • -

  • Venue:
  • ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
  • Year:
  • 1992

Quantified Score

Hi-index 0.01

Visualization

Abstract