Abstract
The Kuhn-Tucker conditions can provide an analytic solution to the problem of maximizing or minimizing a function subject to inequality constraints, if the artificial variables known as Lagrange multipliers can be eliminated. This paper describes an automated reasoning program that assists in the solution process. The program may also be useful for other problems involving algebraic reasoning with inequalities.
Extended Abstract
This work was supported in part by grant A5471 of the Natural Science and Engineering Council of Canada.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. Avriel, W.E. Diewert, S. Schaible, and I. Zang. Generalized Concavity. Plenum Press, New York, 1988.
William J. Baumol. Economic Theory and Operations Analysis. Prentice-Hall: Englewood Cliffs, N.J., 1977.
A. Bundy and B. Welham. Using meta-level inference for selective application of multiple rule sets in algebraic manipulation. Artificial Intelligence, 16, 1981.
Bruce W. Char, Gregory J. Fee, Keith O. Geddes, Gaston Gonnet, and Michael B. Monagan. A tutorial introduction to Maple. Journal of Symbolic Computation, 2(2):179–200, 1986.
A. Macnaughton. Minimizing tax on capital gains on principal residences: a mathematical approach. 1986. Paper presented at the annual meeting of the Canadian Academic Accounting Association.
P. Strooper, B.W. Char, and A. Macnaughton. A Theorem Prover for Inequalities to Discover Conditions on the Analytical Solution of Optimization Problems. Technical Report CS-87-18, University of Waterloo, Computer Science Department, 1986.
M.H. van Emden and R.G. Goebel. Waterloo UNIX Prolog User's Manual version 2.0. Waterloo, Ontario, Canada, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Char, B.W., Macnaughton, A.R., Strooper, P.A. (1989). Discovering inequality conditions in the analytical solution of optimization problems. In: Gianni, P. (eds) Symbolic and Algebraic Computation. ISSAC 1988. Lecture Notes in Computer Science, vol 358. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51084-2_10
Download citation
DOI: https://doi.org/10.1007/3-540-51084-2_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51084-0
Online ISBN: 978-3-540-46153-1
eBook Packages: Springer Book Archive