[PDF][PDF] A computer algorithm for proving symmetric homogeneous triangle inequalities

S Rabinowitz - International Journal of Computer Discovered …, 2022 - journal-1.eu
We present an algorithm for efficiently proving or disproving symmetric homogeneous
polynomial triangle inequalities using Blundon's Fundamental Inequality. If the inequality …

On certain new refinements of Finsler-Hadwiger inequalities

O Kouba - Journal of Inequalities and Applications, 2017 - Springer
Several refinements of the Finsler-Hadwiger inequality and its reverse in the triangle are
discussed. A new one parameter family of Finsler-Hadwiger inequalities and their reverses …

[PDF][PDF] IMPROVED FINSLER-HADWIGER INEQUALITY REVISITED

C LUPU, V NICULA - 2010 - lupucezar.wordpress.com
IMPROVED FINSLER-HADWIGER INEQUALITY REVISITED 1. Introduction & Main result
Throughout this note we use the notation ∑ to Page 1 IMPROVED FINSLER-HADWIGER …