Publication:3926356
From MaRDI portal
zbMath0471.90072MaRDI QIDQ3926356
Publication date: 1978
exact solution; symbolic calculation; polynomial constraints; rational coefficients; polynomial objective function; n variables
68W30: Symbolic computation and algebraic computation
65K05: Numerical mathematical programming methods
90C30: Nonlinear programming
Related Items
Computer algebra: Past and future, A bibliography of quantifier elimination for real closed fields, A cluster-based cylindrical algebraic decomposition algorithm