scientific article; zbMATH DE number 3912674
From MaRDI portal
Publication:3689404
Recommendations
- scientific article; zbMATH DE number 5841262
- A method to prove inequalities and its applications
- On one method of proving inequalities in automated way
- Some notes on a method for proving inequalities by computer
- One method for proving inequalities by computer
- Methods and techniques for proving inequalities
- On a method for proving classical inequalities
Cited in
(13)- An algorithm to prove algebraic relations involving eta quotients
- An elementary analog of the operator method in additive combinatorics
- Some notes on a method for proving inequalities by computer
- Terme, Gleichungen, Ungleichungen
- On a method for proving classical inequalities
- scientific article; zbMATH DE number 5841262 (Why is no real title available?)
- The method of descending dimension for establishing inequalities. II
- scientific article; zbMATH DE number 3912670 (Why is no real title available?)
- scientific article; zbMATH DE number 4125821 (Why is no real title available?)
- scientific article; zbMATH DE number 512976 (Why is no real title available?)
- Fedja's proof of Deepti's inequality
- A method by Lionville for proving inequalities
- scientific article; zbMATH DE number 5224557 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3689404)