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

DOI10.1016/j.matcom.2004.05.014zbMath1091.68679OpenAlexW2024992180MaRDI QIDQ1887831

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

Gröbner basisEngineering designQuantifier eliminationAlgebraic constraint representation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (1)

Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions

Cites Work

• Optimization. Algorithms and consistent approximations
• A First Course in Optimization Theory
• Unnamed Item
• Unnamed Item

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