Mechanical Theorem Proving in Geometriesby Wen-tsun Wu, X. Jin, D. WangWriting a summary for young readers…For young readersBook data: Open Library