Symbolic Geometry Software and Proofs. - Philip H. Todd; Irina Lyublinskaya; Valeriy Ryzhik (Int. J. Comput. Math. Learn., 2010)