Abstract
We present the Reduce-package Symopt that is devoted to symbolic parametric mathematical programming i.e. the solution of parametric optimization problems. This paper formulates problem types that are solvable with Symopt, explains the solving methods, demonstrates various types of usage and the handling of solving processes depending on the users options.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Andreas Dolzmann and Thomas Sturm. Redlog-computer algebra meets computer logic. Technical Report MIP-9603, FMI, Universität Passau, D-94030 Passau, Germany, February 1996.
Wolfgang Domschke. Einfiihrung in die Operations Research. Springer-Verlag, Berlin, Heidelberg, 1990.
Robert Fourer, David Gay, and Brian Kernighan. A Modeling Language For Mathematical Programming. The Scientific Press, San Franzisco, 1993.
R.G. Jeroslow. Linear programs dependent on a single parameter. Discrete Mathematics, 6:119–140, 1973.
Isolde Mazzucco. Linear optimization by variable elimination. Preliminary Report, November 1998.
Isolde Mazzucco. Hyperbolic optimization by variable elimination. Preliminary Report, March 1999.
Isolde Mazzucco. Optimization by variable elimination based on redlog. Proceedings of RWCA’ 00, pages 157–166, March 2000.
Isolde Mazzucco. User Manual-SYMOPT. FMI, Universität Passau, Passau, 2001.
Daniel Solow. Linear Programming. North-Holland, New York, Amsterdam, Oxford, 1984.
Manfred Walk. Theory of Duality in Mathematical Programming. Springer Verlag, Wien, New York, 1989.
Volker Weispfenning. Parametric linear and quadratic optimization by elimination. Technical Report MIP-9404, FMI, Universität Passau, D-94030 Passau, Germany, April 1994.
Volker Weispfenning. Simulation and optimization by quantifier elimination. Journal of Symbolic Computation, 24(2):189–208, August 1997. Special issue on applications of quantifier elimination.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mazzucco, I. (2001). SYMOPT: Symbolic Parametric Mathematical Programming. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing CASC 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-56666-0_32
Download citation
DOI: https://doi.org/10.1007/978-3-642-56666-0_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-62684-5
Online ISBN: 978-3-642-56666-0
eBook Packages: Springer Book Archive