A symbolic-numeric approach to multi-objective optimization in manufacturing design

DOI10.1007/s11786-011-0097-yzbMath1270.90061OpenAlexW2036406522MaRDI QIDQ359903

Hitoshi Yanami, Hirokazu Anai, Hidenao Iwane

Publication date: 23 August 2013

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-011-0097-y

zbMATH Keywords

parametric optimizationmulti-objective optimizationquantifier eliminationmodel completeness and related topicsSRAMsymbolic-numeric computation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Multi-objective and goal programming (90C29) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04) Numerical methods for mathematical programming, optimization and variational techniques (65K99)

Related Items (1)

Applied Algebraic Geometry in Model Based Design for Manufacturing

Uses Software

• SYNRAC
• REDLOG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem
• The complexity of linear problems in fields
• Real quantifier elimination is doubly exponential
• Nonlinear multiobjective optimization
• New Domains for Applied Quantifier Elimination
• Introduction to evolutionary computing

This page was built for publication: A symbolic-numeric approach to multi-objective optimization in manufacturing design