Pages that link to "Item:Q1966106"
From MaRDI portal
The following pages link to Recent advances in automated theorem proving on inequalities (Q1966106):
Displaying 6 items.
- Recent advances in program verification through computer algebra (Q351971) (← links)
- An algorithm for determining copositive matrices (Q636239) (← links)
- Global optimization of polynomials over real algebraic sets (Q1730308) (← links)
- An artificial proof of a geometric inequality in a triangle (Q2437691) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Solution to the generalized champagne problem on simultaneous stabilization of linear systems (Q2463841) (← links)
