2011-12-01から1ヶ月間の記事一覧
初めに この記事はTheorem Proving Advent Calendar 2011の8日目の記事です。 以前、ペル方程式の解の存在証明をCoqで書いたので、その紹介をしようと思います。 anarchy proofでPell's equationとして投稿されていた問題です。 ちなみにFormalizing 100 th…
初めに この記事はTheorem Proving Advent Calendar 2011の8日目の記事です。 以前、ペル方程式の解の存在証明をCoqで書いたので、その紹介をしようと思います。 anarchy proofでPell's equationとして投稿されていた問題です。 ちなみにFormalizing 100 th…