Algebraic numbers: An example of dynamic evaluation
From MaRDI portal
Publication:1892121
DOI10.1006/jsco.1994.1057zbMath0827.68061OpenAlexW2036883244MaRDI QIDQ1892121
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
Related Items (8)
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination ⋮ Directed evaluation ⋮ The Generalized Rabinowitsch Trick ⋮ A reconstruction and extension of Maple's assume facility via constraint contextual rewriting ⋮ Galois theory, splitting fields and computer algebra ⋮ Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one ⋮ Evaluation techniques for zero-dimensional primary decomposition ⋮ Accelerated tower arithmetic
This page was built for publication: Algebraic numbers: An example of dynamic evaluation
