SymProve3

MaRDI QIDQ21229swMATHFDO

Official website https://www.zbmath.org/journals/?q=se:00001038

Cited in

(3)

• Proof of an inequality conjecture for a point in the plane of a triangle
• The degree-decreasing decomposition of symmetric forms with a program for algebraic inequality decision
• BOTTEMA

This page was built for software: SymProve3