CSpace  > 自动推理与认知研究中心
PARAMETERIZED INEQUALITIES ABOUT A POINT IN THE PLANE OF A TRIANGLE
Huang, Fangjian1; Li, Yi2
2018-12-01
摘要Four conjectures with a parameter about a point in the plane of a triangle are proved. A theorem which allows assumptions to be added to help proving and reducing the complexity is also presented. The proving procedure could be applied to the similar problems.
关键词Geometric inequality real algebraic geometry barycentric coordinates
DOI10.7153/jmi-2018-12-72
发表期刊JOURNAL OF MATHEMATICAL INEQUALITIES
ISSN1846-579X
卷号12期号:4页码:953-960
收录类别SCI
WOS记录号WOS:000451334900005
语种英语