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

DOI10.1016/J.MATCOM.2004.05.014zbMATH Open1091.68679OpenAlexW2024992180MaRDI QIDQ1887831FDOQ1887831

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Optimization. Algorithms and consistent approximations
• A First Course in Optimization Theory

Cited In (2)

• Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions
• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• AN INTEGRATED INTELLIGENT DESIGN ADVISOR SYSTEM IN ENGINEERING DESIGN 👍 👎
• Constraint satisfaction methods for applications in engineering. 👍 👎
• Title not available (Why is that?) 👍 👎
• A mathematical theory of design: foundations, algorithms and applications 👍 👎

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)