- http://home.gna.org/geoproof/
- GeoProof is an InteractiveGeometry software with automated and interactive theorem proving features.



[[:included in knxm:]]
but [[:not in math-start:]]
トップ   編集 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS