Automated Inequality Proving and Discovering
From MaRDI portal
Publication:3178360
DOI10.1142/9951zbMath1362.26001OpenAlexW2485122293MaRDI QIDQ3178360
Publication date: 12 July 2016
Full work available at URL: https://doi.org/10.1142/9951
sums of squaressubresultantreal polynomialcylindrical algebraic decompositionresultantpolynomial inequality
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Two inequalities about the pedal triangle ⋮ On maps which preserve semipositivity and quantifier elimination theory for real numbers ⋮ Automated proof of mixed trigonometric-polynomial inequalities ⋮ Quantifier elimination theory and maps which preserve semipositivity ⋮ On \(n\)-sectors of the angles of an arbitrary triangle
Uses Software
This page was built for publication: Automated Inequality Proving and Discovering
