Examples of using dynamic constructible closure.

DOI10.1016/S0378-4754(96)80001-5zbMath1037.68544MaRDI QIDQ1565817

Teresa Gómez-Díaz

Publication date: 27 May 2003

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

zbMATH Keywords

parameterspolynomial systemcomputer algebraautomatic theorem provingdynamic evaluation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Dynamic evaluation and algebraic closure in Axiom, Directed evaluation, Dynamical method in algebra: Effective Nullstellensätze, On the links between triangular sets and dynamic constructible closure, Sketches and computations over fields., Dynamic evaluation and real closure.

Uses Software

• AXIOM

Cites Work

• A new method for solving algebraic systems of positive dimension
• A faster way to count the solutions of inhomogeneous systems of algebraic equations, with applications to cyclic \(n\)-roots
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• Unnamed Item
• Unnamed Item
• Unnamed Item