Automated geometric inequalities discovering and proving. The author offers a complete theory and an efficient algorithm for solving the system TSG. Based on these results, the author implemented a prover, EXPLORER, which has discovered many geometric inequalities automatically.
Keywords for this software
References in zbMATH (referenced in 1 article , 1 standard article )
Showing result 1 of 1.