DHIMAN, N. Algebraic Methods for Proving Geometric Theorems. International Journal of Control and Automation, v. 11, n. 2, p. 55-64, 31 Dec. 2018.