Dynamic evaluation and real closure.

DOI10.1016/S0378-4754(96)00032-8zbMath1037.68542OpenAlexW1994795078MaRDI QIDQ1565836

Dominique Duval, Laureano Gonzalez-Vega

Publication date: 27 May 2003

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0378-4754(96)00032-8

zbMATH Keywords

quantifier eliminationcomputer algebraalgebraic numbersreal closureordered fieldsdynamic evaluation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Ordered fields (12J15)

Related Items (6)

Towards faster real algebraic numbers ⋮ Dynamic evaluation and algebraic closure in Axiom ⋮ Constructive rereading of Artin-Schreier theory ⋮ Directed evaluation ⋮ Dynamical method in algebra: Effective Nullstellensätze ⋮ Sketches and computations over fields.

Cites Work

• Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
• Complexity of computation on real algebraic numbers
• The complexity of elementary algebra and geometry
• Sketches and computations over fields.
• Examples of using dynamic constructible closure.
• Generic computation of the real closure of an ordered field.
• Dynamic evaluation and algebraic closure in Axiom
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dynamic evaluation and real closure.