BOTTEMA

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