超級畫板自動推理功能初探

目前，超級畫板可以對某些簡單的幾何問題進行自動推理。 z+z超級畫板可以對某些幾何問題進行自動推理，這是機器證明的最簡單應用！ 現在，我就把用超級畫板的自動推理功能做一番介紹！ 本文假設，你已經安裝了z+z超級畫板軟件！ 對於聯賽級別的競賽題，往往沒效果。

>>阅读原文<<