Automatic Categorization of Optimization Problems: An Application of Computer Symbolic Mathematics

David R. Stoutemyer
Additional contact information
David R. Stoutemyer: University of Hawaii, Honolulu, Hawaii

Operations Research, 1978, vol. 26, issue 5, 773-788

Abstract: This paper describes a computer program that accepts as input a symbolic mathematical statement of an arbitrary mathematical programming problem, placing the problem into none or at least one of the categories: linear, quadratic, separable, posynomial, signomial, or convex. This categorization program is intended to reveal properties that can be exploited by special-purpose numerical computer programs—properties that might easily be overlooked because of the size of the problem, the complexity of the problem, or the limited knowledge of a novice who wishes to solve an optimization problem. The paper includes a brief demonstration of the program, a discussion of the underlying techniques, and a summary of the performance for some large problems.

Date: 1978
References: Add references at CitEc
Citations:

Downloads: (external link)
http://dx.doi.org/10.1287/opre.26.5.773 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:inm:oropre:v:26:y:1978:i:5:p:773-788

Access Statistics for this article

More articles in Operations Research from INFORMS Contact information at EDIRC.
Bibliographic data for series maintained by Chris Asher ().