Pages that link to "Item:Q3178360"
From MaRDI portal
The following pages link to Automated Inequality Proving and Discovering (Q3178360):
Displaying 12 items.
- Making assumptions in the automated derivation (Q707362) (← links)
- Two inequalities about the pedal triangle (Q824506) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- The localization of solutions to systems of algebraic equations and inequalities: the Hermite method (Q1377960) (← links)
- On \(n\)-sectors of the angles of an arbitrary triangle (Q1995812) (← links)
- Automated proof of mixed trigonometric-polynomial inequalities (Q2188988) (← links)
- Quantifier elimination theory and maps which preserve semipositivity (Q2687228) (← links)
- (Q2987155) (← links)
- (Q4946077) (← links)
- Automatic discovery of irrationality proofs and irrationality measures (Q4991708) (← links)
- On maps which preserve semipositivity and quantifier elimination theory for real numbers (Q5065095) (← links)
- Square-free pure triangular decomposition of zero-dimensional polynomial systems (Q6594999) (← links)