A symbolic-numeric approach to multi-objective optimization in manufacturing design
type: Item
instance of: scholarly article
title: A symbolic-numeric approach to multi-objective optimization in manufacturing design
zbMATH Open document ID: 1270.90061
author: Hidenao Iwane
author: Hitoshi Yanami
author: Hirokazu Anai
published in: Mathematics in Computer Science
publication date: 2013-08-23T00:00:00Z
Mathematics Subject Classification ID: 90C29
Mathematics Subject Classification ID: 90-04
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 65K99
zbMATH DE Number: 6201167
zbMATH Keywords: SRAM
zbMATH Keywords: parametric optimization
zbMATH Keywords: multi-objective optimization
zbMATH Keywords: quantifier elimination
zbMATH Keywords: symbolic-numeric computation
zbMATH Keywords: model completeness and related topics
describes a project that uses: SYNRAC
describes a project that uses: REDLOG
MaRDI profile type: Publication
full work available at URL: s11786-011-0097-y
OpenAlex ID: W2036406522
cites work: Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem
cites work: Real quantifier elimination is doubly exponential
cites work: Multi-objective optimization using evolutionary algorithms
cites work: Introduction to evolutionary computing
cites work: Q4692508
cites work: Q4058877
cites work: Nonlinear multiobjective optimization
cites work: New Domains for Applied Quantifier Elimination
cites work: The complexity of linear problems in fields
cites work: Q5747923
DOI: 10.1007/S11786-011-0097-Y
description: scientific article; zbMATH DE number 6201167