Discovering inequality conditions in the analytic solution of optimization problems

DOI10.1007/BF00248323zbMath0674.90085OpenAlexW2000962142MaRDI QIDQ1121800

Alan R. MacNaughton, Bruce W. Char, Paul A. Strooper

Publication date: 1989

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00248323

zbMATH Keywords

Lagrange multiplierssymbolic computationautomated reasoninginequality constraintsalgebraic reasoningKuhn-Tucker conditions

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Nonlinear programming (90C30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Maple

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Discovering inequality conditions in the analytic solution of optimization problems