Dynamic evaluation and real closure.

DOI10.1016/S0378-4754(96)00032-8MaRDI QIDQ1565836zbMATH OpenOpenAlexFDO

Authors 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

algebraic numberscomputer algebradynamic evaluationordered fieldsquantifier eliminationreal closure

Mathematics Subject Classification ID

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

Recommendations

• Dynamic evaluation and algebraic closure in Axiom
• scientific article; zbMATH DE number 177865
• Algebraic numbers: An example of dynamic evaluation
• scientific article; zbMATH DE number 29408
• scientific article; zbMATH DE number 4150340

Cites work

• Complexity of computation on real algebraic numbers
• Dynamic evaluation and algebraic closure in Axiom
• Examples of using dynamic constructible closure.
• Generic computation of the real closure of an ordered field.
• scientific article; zbMATH DE number 3846864 (Why is no real title available?)
• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 16645 (Why is no real title available?)
• scientific article; zbMATH DE number 16663 (Why is no real title available?)
• scientific article; zbMATH DE number 1263362 (Why is no real title available?)
• scientific article; zbMATH DE number 4183588 (Why is no real title available?)
• Sketches and computations over fields.
• The complexity of elementary algebra and geometry
• Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets

Cited in

(6)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1565836)