SymProve3

swMATH9242MaRDI QIDQ21229FDOQ21229

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: SymProve3