Pages that link to "Item:Q5963393"
From MaRDI portal
The following pages link to Cylindrical algebraic decomposition using local projections (Q5963393):
Displayed 6 items.
- Master Lovas-Andai and equivalent formulas verifying the \(\frac{8}{33}\) two-qubit Hilbert-Schmidt separability probability and companion rational-valued conjectures (Q1654047) (← 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)
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435) (← links)