scientific article

zbMath0471.90072MaRDI QIDQ3926356

Franz Müller

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

exact solutionsymbolic calculationpolynomial constraintsrational coefficientspolynomial objective functionn variables

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical mathematical programming methods (65K05) Nonlinear programming (90C30)

Related Items

Computer algebra: Past and future, A bibliography of quantifier elimination for real closed fields, A cluster-based cylindrical algebraic decomposition algorithm