Dynamic evaluation and algebraic closure in Axiom

DOI10.1016/0022-4049(94)00053-LzbMath0851.11075OpenAlexW2094226590WikidataQ114016567 ScholiaQ114016567MaRDI QIDQ1906927

Dominique Duval

Publication date: 25 November 1996

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(94)00053-l

zbMATH Keywords

algebraic numbersdynamic evaluationsketchesAxiomdynamic algebraic closure of a field

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65) Algebraic number theory computations (11Y40) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

Lifting and recombination techniques for absolute factorization, Straight-line programs in geometric elimination theory, Gröbner bases for polynomial systems with parameters, Improving the DISPGB algorithm using the discriminant ideal, Dynamic evaluation and real closure., Evaluation techniques for zero-dimensional primary decomposition, A new algorithm for discussing Gröbner bases with parameters.

Uses Software

• AXIOM

Cites Work

• Examples of using dynamic constructible closure.
• Dynamic evaluation and real closure.
• Sketches and computation – II: dynamic evaluation and applications
• Unnamed Item
• Unnamed Item