Pages that link to "Item:Q492024"
From MaRDI portal
The following pages link to On using Lazard's projection in CAD construction (Q492024):
Displaying 6 items.
- Validity proof of Lazard's method for CAD construction (Q1757004) (← links)
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
- Constructing a single cell in cylindrical algebraic decomposition (Q2343239) (← links)
- Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition (Q6149145) (← links)
- Levelwise construction of a single cylindrical algebraic cell (Q6149151) (← links)