●第1章 一個古老問題：兩條內分角線相等的三角形是等腰三角形
第2章 傳統證法與機器證法
第3章 機器證法舉例
第4章 機器證法大意
第5章 機器證法再舉例
第6章 回到前面的古老問題
第7章 “兩條外分角線相等的三角形是等腰三角形”，這個猜想成立嗎？
附錄 大智為師——吳文俊先生訪談錄
進一步閱讀的參考資料

本書通過一個古老問題：內角或外角分角線相等的三角形是否等腰的研究，初步介紹了利用電子計算機證明初等幾何命題的一些概況，可作為電子計算機在邏輯證明方面應用的啟蒙讀物。
本書可供中學師生、大學師生及數學愛好者參考閱讀。