本文集共18册，包含了作者从上世纪八十年代以来三十多年间的数学科普作品。计算机如何能证明几何定理并发现新的定理呢？是因为人找到了几何解题的规律。跟着书还可以自己动手模拟或实现机器解题。本丛书力求形成直白通俗与含蓄深奥的完美结合，让读者容易进入而难于舍弃。它可以当作休闲娱乐的书籍随便翻翻，有助于排遣工作疲劳；也可以作为教师的参考资料，有助于活跃课堂气氛，启迪学生心智；还可以作为学生的课外读物，有助于开阔眼界、增长知识、锻炼逻辑思维能力。