BOTTEMA
From MaRDI portal
Software:21230
swMATH9243MaRDI QIDQ21230FDOQ21230
Author name not available (Why is that?)
Cited In (9)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A class of mechanically decidable problems beyond Tarski's model
- Another refinement of the Pólya-Szegő inequality
- Automated Inequality Proving and Discovering
- Automated proof of mixed trigonometric-polynomial inequalities
- Solution to the generalized champagne problem on simultaneous stabilization of linear systems
This page was built for software: BOTTEMA
