BOTTEMA
From MaRDI portal
Software:21230
No author found.
Related Items (9)
Unnamed Item ⋮ Automated Inequality Proving and Discovering ⋮ Another refinement of the Pólya-Szegő inequality ⋮ Automated proof of mixed trigonometric-polynomial inequalities ⋮ Unnamed Item ⋮ Solution to the generalized champagne problem on simultaneous stabilization of linear systems ⋮ A class of mechanically decidable problems beyond Tarski's model ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for software: BOTTEMA
