swMATH9243MaRDI QIDQ21230FDOQ21230
Author name not available (Why is that?)
Official website: http://cjc.ict.ac.cn/eng/qwjse/view.asp?id=1283
Cited In (11)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- A class of mechanically decidable problems beyond Tarski's model
- DISCOVERER
- SymProve3
- Another refinement of the Pólya-Szegő inequality
- 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
