Application of Gröbner bases and quantifier elimination for insightful engineering design

DOI10.1016/J.MATCOM.2004.05.014MaRDI QIDQ1887831zbMATH OpenOpenAlexFDO

Authors Hiroyuki Sawada, Xiu-Tian Yan

Publication date 22 November 2004

Published in Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.matcom.2004.05.014

zbMATH Keywords

Engineering designQuantifier eliminationAlgebraic constraint representationGröbner basis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1795748
• AN INTEGRATED INTELLIGENT DESIGN ADVISOR SYSTEM IN ENGINEERING DESIGN
• Constraint satisfaction methods for applications in engineering.
• scientific article; zbMATH DE number 917856
• A mathematical theory of design: foundations, algorithms and applications

Cites work

• scientific article; zbMATH DE number 1232096 (Why is no real title available?)
• scientific article; zbMATH DE number 967945 (Why is no real title available?)
• A First Course in Optimization Theory
• Optimization. Algorithms and consistent approximations

Cited in

(3)

• scientific article; zbMATH DE number 1795748 (Why is no real title available?)
• Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions
• AN INTEGRATED INTELLIGENT DESIGN ADVISOR SYSTEM IN ENGINEERING DESIGN

This page was built for publication: Application of Gröbner bases and quantifier elimination for insightful engineering design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1887831)