Pages that link to "Item:Q5963393"

The following pages link to Cylindrical algebraic decomposition using local projections (Q5963393):

Displaying 17 items.

• CAD and topology of semi-algebraic sets (Q626978) (← links)
• Local box adjacency algorithms for cylindrical algebraic decompositions (Q1599550) (← links)
• Master Lovas-Andai and equivalent formulas verifying the \(\frac{8}{33}\) two-qubit Hilbert-Schmidt separability probability and companion rational-valued conjectures (Q1654047) (← links)
• Open weak CAD and its applications (Q1711996) (← links)
• Application of quantifier elimination to inverse buckling problems (Q1742348) (← links)
• Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
• Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure (Q2100061) (← links)
• Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
• Constructing a single cell in cylindrical algebraic decomposition (Q2343239) (← links)
• Cylindrical algebraic decomposition using validated numerics (Q2457384) (← links)
• Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting (Q2879161) (← links)
• Computing cylindrical algebraic decomposition via triangular decomposition (Q2883805) (← links)
• (Q4391219) (← links)
• Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435) (← links)
• Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
• Cylindrical algebraic decomposition using local projections (Q6487176) (← links)
• Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure (Q6666548) (← links)