書誌情報	ファイル
置換群の組合せ論的可移拡大からできるデザイン (Computer Algebra : Design of Algorithms, Implementations and Applications)   宮本, 泉 (2009-06)   数理解析研究所講究録, 1652: 155-161
脆弱性のない代数曲面公開鍵暗号にむけて   岩見, 真希 (2009-06)   数理解析研究所講究録, 1652: 162-172
グレブナー基底による幾何定理の証明について (II) : イデアル成分の分解の利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)   森継, 修一; 荒井, 千里 (2009-06)   数理解析研究所講究録, 1652: 173-181
ブール多項式環における消去イデアルの計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)   永井, 彰; 井上, 秀太郎; 佐藤, 洋祐 (2009-06)   数理解析研究所講究録, 1652: 182-191
A new approach to Calculus of Set (Computer Algebra : Design of Algorithms, Implementations and Applications)   井上, 秀太郎 (2009-06)   数理解析研究所講究録, 1652: 192-195
xfyにおけるMathML編集機能の開発 (Computer Algebra : Design of Algorithms, Implementations and Applications)   甲斐, 博; 宮本, 敦史; 久米, 正起; 河田, 貴幸; 冨成, 泰介; 田村, 恭士; 野田, 松太郎 (2009-06)   数理解析研究所講究録, 1652: 196-202
パラメータを持つ有理関数のハイブリッド積分 (Computer Algebra : Design of Algorithms, Implementations and Applications)   中川, 菜菜美; 甲斐, 博; 野田, 松太郎 (2009-06)   数理解析研究所講究録, 1652: 203-210
複合数学Webサービスに関する研究 (Computer Algebra : Design of Algorithms, Implementations and Applications)   中西, 智美; 池田, 理世; 甲斐, 博 (2009-06)   数理解析研究所講究録, 1652: 211-217