2013-08-07から1日間の記事一覧
今回は以前名前のみを挙げた,初等超越関数についての(全称)不等式系のsymbolicプルーバー metit http://www.cl.cam.ac.uk/~lp15/papers/Arith/index.html をご紹介します.この metit は MetiTarski (Metis + Tarski) という名からも解るように,代数的な…
今回は以前名前のみを挙げた,初等超越関数についての(全称)不等式系のsymbolicプルーバー metit http://www.cl.cam.ac.uk/~lp15/papers/Arith/index.html をご紹介します.この metit は MetiTarski (Metis + Tarski) という名からも解るように,代数的な…