Results 171 to 180 of about 25,305 (197)
Some of the next articles are maybe not open access.
Scalable Automated Proving of Information Theoretic Inequalities with Proximal Algorithms
2019 IEEE International Symposium on Information Theory (ISIT), 2019Proving or disproving linear information theoretic inequalities is a fundamental task in information theory, and it has also been proved to be important in fields like cryptography and quantum communication theory. Manually proving information inequalities involving more than a few random variables can often be tedious or even intractable.
Lin Ling +3 more
openaire +1 more source
Automated Discovering and Proving for Geometric Inequalities
1999Automated discovering and proving for geometric inequalities have been considered a difficult topic in the area of automated reasoning for manyy ears. Some well-known algorithms are complete theoretically but inefficient in practice, and cannot verify non-trivial propositions in batches.
Lu Yang, Xiaorong Hou, Bican Xia
openaire +1 more source
Recent advances in automated theorem proving on inequalities
Journal of Computer Science and Technology, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
A Practical Program of Automated Proving for a Class of Geometric Inequalities
2001An inequality-proving algorithm based on cell decomposition and a practical program written in Maple are presented, which can efficiently treat inequality-type theorems involving radicals, especially, a class of geometric inequalities including most of the theorems in a wellknown book on the subject.
Lu Yang, Ju Zhang
openaire +1 more source
On One Method of Proving Inequalities in Automated Way
2011The paper describes proving geometric inequalities in automated way without cell decomposition. Firstly an overview of known methods of proving inequalities is given including the method which is based on reduction of a conclusion polynomial to the canonical form modulo a hypotheses ideal. Then a parametrization method of proving geometric inequalities
openaire +1 more source
Rationalizing Algorithm and Automated Proving for a Class of Inequalities Involving Radicals
Chinese Journal of Computers, 2009Jia XU, Yong YAO
openaire +1 more source
Dealing with Degeneracies in Automated Theorem Proving in Geometry
Mathematics, 2021Zoltan Kovacs +2 more
exaly
An Automated Theorem Proving Framework for Information-Theoretic Results
IEEE Transactions on Information Theory, 2023Cheuk Ting Li
exaly
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
Foundations and Trends in Machine Learning, 2021exaly