Simulation and optimization by quantifier elimination
type: Item
instance of: scholarly article
title: Simulation and optimization by quantifier elimination
zbMATH Open document ID: 0883.68075
author: Volker Weispfenning
published in: Journal of Symbolic Computation
publication date: 1997-09-29T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 90C26
zbMATH DE Number: 1067882
zbMATH Keywords: elimination of linear variables from a Boolean combination of polynomial equations and inequalities
zbMATH Keywords: elimination tree
zbMATH Keywords: simulation of large technical networks
zbMATH Keywords: parametric linear programming
zbMATH Keywords: non-convex case
describes a project that uses: NETLIB LP Test Set
describes a project that uses: QEPCAD
MaRDI profile type: Publication
OpenAlex ID: W2035981707
DOI: 10.1006/JSCO.1997.0122
Recommended article: Simulation-based minimization
Recommended article: Q2723424
Recommended article: Approaches to optimization/simulation problems
Recommended article: Optimization for simulation: theory vs. practice
Recommended article: Optimization of Simulation via Quasi-Newton Methods
Recommended article: Optimization via simulation: A review
Recommended article: Simulation and Continuous Optimization
Recommended article: Q4037102
description: scientific article; zbMATH DE number 1067882