Bors Alexander について
Johann Radon Institute for Computational and Applied Mathematics (RICAM), Altenberger Strasse 69, 4040 Linz, Austria について
Journal of Symbolic Computation について
アルゴリズム について
精密化 について
決定可能性 について
複雑性 について
再生器 について
プレゼンテーション について