Art

J-GLOBAL ID：201102203808512813   Reference number：11A0280451

Application of Grobner bases and quantifier elimination for insightful engineering design

洞察力のある技術設計に対するGrobner基準および限定作用素除去の応用

Author (2)： SAWADA H ,  YAN XT
Material： MATHEMATICS AND COMPUTERS IN SIMULATION
Volume： 67  Issue： 1-2  Page： 135-148  Publication year： 2004 
JST Material Number： O4551A  ISSN： 0378-4754  Document type： Article
Country of issue： Other (ZZZ)  Language： ENGLISH (EN)

Terms in the title (3)： 洞察 ,  設計 ,  応用