文献

J-GLOBAL ID：200902015613837166   整理番号：93A0052943

特集 制約論理プログラミング チュートリアル 代数制約の処理

Algebraic Constraint Solving.

著者 (2件)： 竹島卓 (富士通研) ,  横山和弘 (富士通研)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 9  号： 6  ページ： 16-30  発行年： 1992年11月 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ある問題を連立代数方程式による束縛条件として記述した場合に,...

シソーラス用語： 代数方程式 ,...
準シソーラス用語： Groebner基底

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=93A0052943&from=J-GLOBAL&jstjournalNo=Y0628A") }}

分類 (2件)： 計算理論  (JB02000A) ,  記号処理  (JE03000Q)

引用文献 (15件)：

• BUCHBERGER, B. An Algorithmic Method in Polynomial Ideal Theory. Recent Trends in Multidimensional Systems Theory. 1985, Chapter 6
• BUCHBERGER, B. Applications of Grobner Bases in Non-Linear Computational Geometry. Trends in Computer Algebra. 1987, 52-80
• DAVENPORT, J. H. Computer Algebra. 1988, Chapter 3
• HOFFMANN, C. Geometric & Solid Modeling: An Introduction. 1989, Chapter 7
• 佐々木建昭. コンピュータ環論. 情報処理. 1986, 27, 4, 404-413

タイトルに関連する用語 (4件)： 制約論理プログラミング ,  チュートリアル ,  代数 ,  制約