Skip to main content
SpringerLink
Log in

Discovering inequality conditions in the analytical solution of optimization problems

  • Applications
  • Conference paper
  • First Online:
Symbolic and Algebraic Computation (ISSAC 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 358))

Included in the following conference series:

  • 163 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Avriel, W.E. Diewert, S. Schaible, and I. Zang. Generalized Concavity. Plenum Press, New York, 1988.

    Google Scholar 

  2. William J. Baumol. Economic Theory and Operations Analysis. Prentice-Hall: Englewood Cliffs, N.J., 1977.

    Google Scholar 

  3. A. Bundy and B. Welham. Using meta-level inference for selective application of multiple rule sets in algebraic manipulation. Artificial Intelligence, 16, 1981.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. M.H. van Emden and R.G. Goebel. Waterloo UNIX Prolog User's Manual version 2.0. Waterloo, Ontario, Canada, 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Tennessee, 37996-1301, Knoxville, Tennessee, U.S.A.

    Bruce W. Char

  2. School of Accountancy, University of Waterloo, N2L 3G1, Waterloo, Ontario, Canada

    Alan R. Macnaughton

  3. Dept. of Computer Science, University of Victoria, V8W 2Y2, Victoria, British Columbia, Canada

    Paul A. Strooper

Authors
  1. Bruce W. Char
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alan R. Macnaughton
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paul A. Strooper
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

P. Gianni

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation