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

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