scientific article; zbMATH DE number 2151199

MaRDI QIDQ4660666zbMATH OpenFDO

Authors Scott McCallum

Publication date 4 April 2005

zbMATH Keywords

CADorder-invarianceprojection

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 589124
• scientific article; zbMATH DE number 1157654
• On using Lazard's projection in CAD construction
• Efficient projection orders for CAD
• Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

This page was built for publication:

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