Art

J-GLOBAL ID：200902015613837166   Reference number：93A0052943

Algebraic Constraint Solving.

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

Author (2)： TAKESHIMA TAKU (富士通研) ,  YOKOYAMA KAZUHIRO (富士通研)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 9  Issue： 6  Page： 16-30  Publication year： Nov. 1992 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 解説  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： algebraic equation ,...
Semi thesaurus term： Groebner base

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=93A0052943&from=J-GLOBAL&jstjournalNo=Y0628A") }}

JST classification (2)： Theory of computation  (JB02000A) ,  Symbol manipulation  (JE03000Q)

Reference (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

Terms in the title (4)： 制約論理プログラミング ,  チュートリアル ,  代数 ,  制約