Dynamic evaluation and algebraic closure in Axiom

DOI10.1016/0022-4049(94)00053-LMaRDI QIDQ1906927zbMATH OpenOpenAlexWikidataFDO

Authors 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) Algebraic number theory computations (11Y40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2020233
• Algebraic closure in continuous logic
• Algebraic Semantics for Dynamic Dynamic Logic
• scientific article; zbMATH DE number 6287647
• Algebraic effects for extensible dynamic semantics
• scientific article; zbMATH DE number 4078767
• Axiomatic closure operations, phantom extensions, and solidity
• Axiomatizing schemes and their behaviors
• scientific article; zbMATH DE number 3949705
• A unifying theorem for algebraic semantics and dynamic logics

Cites work

• scientific article; zbMATH DE number 4137314 (Why is no real title available?)
• scientific article; zbMATH DE number 107769 (Why is no real title available?)
• Dynamic evaluation and real closure.
• Examples of using dynamic constructible closure.
• Sketches and computation – II: dynamic evaluation and applications

Cited in

(11)

• Dynamic evaluation and real closure.
• Algebraic numbers: An example of dynamic evaluation
• Improving the DISPGB algorithm using the discriminant ideal
• Straight-line programs in geometric elimination theory
• Evaluation techniques for zero-dimensional primary decomposition
• Gröbner bases for polynomial systems with parameters
• A new algorithm for discussing Gröbner bases with parameters.
• Modular dynamic evaluation
• Lifting and recombination techniques for absolute factorization
• Directed evaluation
• Examples of using dynamic constructible closure.

Describes a project that uses

Uses Software

• AXIOM

This page was built for publication: Dynamic evaluation and algebraic closure in Axiom

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