BOTTEMA
From MaRDI portal
Cited in
(11)- Solution to the generalized champagne problem on simultaneous stabilization of linear systems
- scientific article; zbMATH DE number 3278999 (Why is no real title available?)
- scientific article; zbMATH DE number 6719570 (Why is no real title available?)
- The degree-decreasing decomposition of symmetric forms with a program for algebraic inequality decision
- Automated proving of exponent polynomial inequalities
- Automated inequality proving and discovering
- DISCOVERER
- SymProve3
- A class of mechanically decidable problems beyond Tarski's model
- Another refinement of the Pólya-Szegő inequality
- Automated proof of mixed trigonometric-polynomial inequalities
This page was built for software: BOTTEMA
