いわゆる対話型幾何学ソフト(https://en.wikipedia.org/wiki/List_of_interactive_geometry_software)における"証明"のサポートは,形式的証明の作成支援とシンボリックな座標計算への翻訳とに大別できます.今回の GeoGebra Discovery はこの後者であり,…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。