#TSG2014冬学期QE分科会 QE(Quantifier Elimination、限量記号消去)のアルゴリズム、特にCAD法について、実例を多く挙げて分かりやすくし、かつ自分の理解の及ぶ限り理論的側面を重視した説明にすることを目標にする。理解不十分による間違いが含まれていることも十分に考えられるので見つけた場合は指摘していただけるとありがたいです。 内容 そのうち書く 日程 第1回 QEの紹介、QEでできることなどの軽い話 第2回 CAD法の概要 第3回 未定