Pages that link to "Item:Q2188988"
From MaRDI portal
The following pages link to Automated proof of mixed trigonometric-polynomial inequalities (Q2188988):
Displaying 7 items.
- Recent advances in automated theorem proving on inequalities (Q1966106) (← links)
- (Q2987155) (← links)
- Isolating all the real roots of a mixed trigonometric-polynomial (Q6051116) (← links)
- The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification (Q6567850) (← links)
- Reachability analysis of linear systems (Q6592109) (← links)
- Square-free factorization of mixed trigonometric-polynomials (Q6639187) (← links)
- Several sharp inequalities involving (hyperbolic) tangent, tanc, cosine, and their reciprocals (Q6660468) (← links)