On using Lazard's projection in CAD construction

DOI10.1016/j.jsc.2015.02.001zbMath1325.13026arXiv1501.06563OpenAlexW2034519924WikidataQ57434978 ScholiaQ57434978MaRDI QIDQ492024

Hoon Hong, Scott McCallum

Publication date: 19 August 2015

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

Full work available at URL: https://arxiv.org/abs/1501.06563

zbMATH Keywords

cylindrical algebraic decompositionprojection operationtheorem of Abhyankar and Jung

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Polynomials, factorization in commutative rings (13P05) Cylindric and polyadic algebras; relation algebras (03G15) Computational aspects in algebraic geometry (14Q99)

Related Items

Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition, Levelwise construction of a single cylindrical algebraic cell, Validity proof of Lazard's method for CAD construction, Using machine learning to improve cylindrical algebraic decomposition, Cylindrical algebraic decomposition with equational constraints, Constructing a single cell in cylindrical algebraic decomposition

Uses Software

• QEPCAD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the Jung-Abhyankar theorem
• A new proof of the Jung-Abhyankar theorem
• An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
• Partial cylindrical algebraic decomposition for quantifier elimination
• The Abhyankar-Jung theorem
• On propagation of equational constraints in CAD-based quantifier elimination
• Cylindrical algebraic decompositions for boolean combinations
• On Equimultiple Subvarieties of Algebroid Hypersurfaces
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• On the Ramification of Algebraic Functions
• Improved projection for cylindrical algebraic decomposition