scientific article; zbMATH DE number 719412
From MaRDI portal
Publication:4321816
zbMath0811.65047MaRDI QIDQ4321816
Publication date: 2 May 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
optimizationinequalitiesnonlinear programmingfiniteness theorempolynomial optimizationextremal valueszero decomposition theorem
Related Items (3)
A review and prospect of readable machine proofs for geometry theorems ⋮ Recent advances in automated theorem proving on inequalities ⋮ Solution to the generalized champagne problem on simultaneous stabilization of linear systems
This page was built for publication: