These files are associated with the paper
"A COMPUTER ALGORITHM FOR PROVING SYMMETRIC HOMOGENEOUS TRIANGLE INEQUALITIES"
by Stanley Rabinowitz
published in the International Journal of Computer Discovered Mathematics
in May 2022.

proveInequalityUsingBlundon.nb
	is the Mathematica notebook containing all the algorithms
	described in the paper.

BlundonAlgorithm.nb
	is a Mathematica notebook containing proofs of all the
	examples used in the paper.

testBlundonWithBottemaInequalities.nb
testBlundonWithBonnesenInequalities.nb
testBlundonWithSpecialTriangleTypes.nb
	are Mathematica notebooks that test the algorithm on a
	large set of inequalities.
