"私は幾何学式は非常に有用見つけた。それは私に解決の手助けに
            長いと見つけることが煩雑である簡単な方法は数学的関係
            手で。それは私が最小の廃棄物の問題に集中しました
            計算のための時間。私はそれが非常に有用になると思う
            教師や幾何学に興味のある学生のために。 "
            -----博士パオロクストーディイタリア

            制約ベースのジオメトリ

            幾何学式は、制約ベースのジオメトリ·システムです。
            このタイプのシステムの利点は次のとおりです。
            多くの幾何学的な構成ははるかに容易に使用して指定します。
            構造よりも制約
            それは現実の世界を表現するための多くの便利なスタイルです。
            問題
            これは現代のコンピュータ支援設計（CAD）で使用されている方法です
            システム

            シンボリックジオメトリ