超级画板自动推理功能初探

目前，超级画板可以对某些简单的几何问题进行自动推理。 z+z超级画板可以对某些几何问题进行自动推理，这是机器证明的最简单应用！ 现在，我就把用超级画板的自动推理功能做一番介绍！ 本文假设，你已经安装了z+z超级画板软件！ 对于联赛级别的竞赛题，往往没效果。

>>阅读原文<<