Pages that link to "Item:Q5119942"
From MaRDI portal
The following pages link to Formula Simplification for Real Quantifier Elimination Using Geometric Invariance (Q5119942):
Displaying 5 items.
- On simplification of formulas with unconstrained variables and quantifiers (Q1680265) (← links)
- Formula simplification via invariance detection by algebraically indexed types (Q2104529) (← links)
- From simplification to a partial theory solver for non-linear real polynomial constraints (Q2307623) (← links)
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868) (← links)
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435) (← links)