Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our User Agreement and Privacy Policy.
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our Privacy Policy and User Agreement for details.
「Haskellで計算機代数勉強会」 http://partake.in/events/451a51b0-b18e-4e01-bda4-423bf57f4051 での発表資料。 代数的実数と Cylindrical Algebraic Decomposition による実閉体の決定可能性の二つについて。
Login to see the comments