Simulation and optimization by quantifier elimination
From MaRDI portal
Recommendations
- Simulation-based minimization
- scientific article; zbMATH DE number 1614700
- Approaches to optimization/simulation problems
- Optimization for simulation: theory vs. practice
- Optimization of Simulation via Quasi-Newton Methods
- Optimization via simulation: A review
- Simulation and continuous optimization
- scientific article; zbMATH DE number 177250
Cited in
(16)- Validity proof of Lazard's method for CAD construction
- Better answers to real questions
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Applied Algebraic Geometry in Model Based Design for Manufacturing
- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
- A computational method for determining strong stabilizability of \(n\)-D systems
- Special algorithm for stability analysis of multistable biological regulatory systems
- Algorithmic global criteria for excluding oscillations
- Simulation-based minimization
- scientific article; zbMATH DE number 1507955 (Why is no real title available?)
- A roadmap to decidability
- Weak quantifier elimination for the full linear theory of the integers
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.
- Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem
This page was built for publication: Simulation and optimization by quantifier elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1368693)
