next up previous
Up: 「集合制約ソルバー」に関する成果概要 Previous: 研究の成果

参考文献

B 65
Buchberger, B. (1965). Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. PhD thesis, Universität Innsbruck.
B 85
Buchberger, B. (1985). Gröbner bases: An algorithmic method in polynomial ideal theory, chap 6 in Recent Trends in Multidimentional System Theory, N. K. Bose Ed., Reidel Publ. Comp.
Mo 88
Möller, H.M. (1988). On the Construction of Gröbner Bases Using Syzygies J.Symbol.Comput. 6, 345--359.
S 88
Sakai, K., Sato, Y. (1988). Boolean Gröbner bases. Proceeding of LA-Symposium in winter, RIMS, Kyoto Univ., 29--40
S 90
Sakai, K., Sato, Y., Menju, S. (1990). Boolean Gröbner bases(revised). ICOT Technical Report 613.
S 93
佐藤洋祐、毛受哲、相場亮 (1995). ブーリアン・グレブナー基底の Syzygy 基底による特徴付け. 「情報処理学会論文誌」第34巻 第7号 pp 1549-1554.
S 95
Sato, Y. (1995). Set Constraint Solver (a free software developed as a Research Funding Program of AITEC, Research Institute For Advanced Information Technology). http://www.icot.or.jp/AITEC/FGCS/funding/itaku-H7-index-J.html
http://www.icot.or.jp/AITEC/FGCS/funding/itaku-H8-index-J.html
Sa 96
Sato, Y. (1996). Application of Groebner basis in constraint of non-numerical domains. presented in The 2nd IMACS Conference on Applications of Computer Algebra.
Sb 96
Sato, Y. (1996). Nonstandard Canonical Forms of Set Constraints. presented in Second International Conference on Principles and Practice of Constraint Programming Set Constraints Workshop.
S 97
Sato, Y. (1997). Set Constraint Solver - Groebner bases for non-numerical domains -. International Symposium on Symbolic and Algebraic Computation(ISSAC 97), Poster Abstracts pp 13-14.
Sa 98
佐藤 洋祐 (1998). Von Neumann regular rings 上の多項式環におけるグレブナー基底について. 数理解析研究所講究録1038 「数式処理における理論と応用の研究」 pp 40-48.
Sb 98
Sato, Y. (1998). A new type of canonical Gröbner bases in polynomial rings over Von Neumann regular rings. International Symposium on Symbolic and Algebraic Computation(ISSAC 98), Proceedings pp 317-321.
SW 75
Saracino, D., Weispfenning, V. (1975). On algebraic curves over commutative regular rings, Model Theory and Algebra, a memorial tribute to A.Robinson, Springer LNM vol 498, pp 307-387.
W 89
Weispfenning, V. (1989). Gröbner bases in polynomial ideals over commutative regular rings, EUROCAL '87, J.H. Davenport Ed., Springer LNCS Vol 378, 336--347.


next up previous
Up: 「集合制約ソルバー」に関する成果概要 Previous: 研究の成果



www-admin@icot.or.jp