Algebraic numbers: An example of dynamic evaluation

DOI10.1006/JSCO.1994.1057MaRDI QIDQ1892121zbMATH OpenOpenAlexFDO

Authors Dominique Duval

Publication date 8 June 1995

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1994.1057

zbMATH Keywords

algebraic numberssketch theory

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Dynamic evaluation and algebraic closure in Axiom
• Sketches and computation – I: basic definitions and static evaluation
• scientific article; zbMATH DE number 1254236
• Modular dynamic evaluation
• Sketches and computation – II: dynamic evaluation and applications

Cited in

(11)

• Evaluation techniques for zero-dimensional primary decomposition
• Examples of using dynamic constructible closure.
• Dynamic evaluation and real closure.
• Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one
• Directed evaluation
• Accelerated tower arithmetic
• A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
• Galois theory, splitting fields and computer algebra
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• scientific article; zbMATH DE number 1254236 (Why is no real title available?)
• The generalized Rabinowitsch trick

This page was built for publication: Algebraic numbers: An example of dynamic evaluation

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