EXPLORER

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

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Xia, Bican: Automated geometric inequalities discovering and proving (1998)