2013-12-03から1日間の記事一覧
東ロボくんが答案でその名を挙げていた表題のもの,最も初期のQEの結果ということで,関連した論文の歴史紹介では必ず触れられますが,現在主流のCAD(Cylindrical Algebraic Decomposition)やVS(Virtual Substitution)より複雑で,正直,Tarski(1948), A dec…
東ロボくんが答案でその名を挙げていた表題のもの,最も初期のQEの結果ということで,関連した論文の歴史紹介では必ず触れられますが,現在主流のCAD(Cylindrical Algebraic Decomposition)やVS(Virtual Substitution)より複雑で,正直,Tarski(1948), A dec…