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.
Up: 「集合制約ソルバー」に関する成果概要
Previous: 研究の成果
www-admin@icot.or.jp