The following pages link to (Q4531854):
Displaying 7 items.
- An algorithm for determining copositive matrices (Q636239) (← links)
- Global optimization of polynomials over real algebraic sets (Q1730308) (← links)
- Automated proof of mixed trigonometric-polynomial inequalities (Q2188988) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- A class of mechanically decidable problems beyond Tarski's model (Q2475316) (← links)
- On One Method of Proving Inequalities in Automated Way (Q3102741) (← links)
- Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski (Q6653970) (← links)
