Schur partition for symmetric ternary forms and readable proof to inequalities.

Fangjian Huang Shengli Chen

Published in: ISSAC (2005)

Keyphrases

facet defining
theorem proving
theorem prover
linear inequalities
partitioning algorithm
search engine
pairwise
interior point