Abstract
Solving inequalities is a very important topic in computational algebra. In fact, the most important computer algebra systems include sophisticated tools for solving different kinds of inequalities in both symbolic and graphical ways. This paper presents a new Mathematica package, InequationPlot, for displaying the two-dimensional solution sets of several inequalities. In particular, it extends Mathematica’s capabilities by providing graphical solutions to many inequalities (such as those involving trigonometric, exponential and logarithmic functions) that cannot be solved by using the standard Mathematica commands and packages. The package also deals with inequalities involving complex variables by displaying the corresponding solutions on the complex plane. The output obtained is consistent with Mathematica’s notation and results and the package provides a similar output for those cases already solved by Mathematica. The performance of the package is discussed by means of several illustrative and interesting examples.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Beckenbach, E.F., Bellman, R.E.: An Introduction to Inequalities. Random House, New York (1961)
Brown, C.W.: Simple cylindrical algebraic decomposition construction and its applications. Journal of Symbolic Computation 31, 521–547 (2001)
Caviness, B.F., Johnson, J.R.: Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, New York (1998)
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities, 2nd edn. Cambridge University Press, Cambridge (1952)
Kazarinoff, N.D.: Geometric Inequalities. Random House, New York (1961)
McCallum, S.: Solving polynomial strict inequalities using cylindrical algebraic decomposition. The Computer Journal 36(5), 432–438 (1993)
Mitrinovic, D.S.: Analytic Inequalities. Springer, New York (1970)
Mitrinovic, D.S., Pecaric, J.E., Volenec, V.: Recent Advances in Geometric Inequalities. Kluwer, Dordrecht (1989)
Strzebonski, A.: An algorithm for systems of strong polynomial inequalities. The Mathematica Journal 4(4), 74–77 (1994)
Strzebonski, A.: Solving algebraic inequalities. The Mathematica Journal 7, 525–541 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ipanaqué, R., Iglesias, A. (2004). A Mathematica Package for Solving and Displaying Inequalities. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds) Computational Science - ICCS 2004. ICCS 2004. Lecture Notes in Computer Science, vol 3039. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25944-2_39
Download citation
DOI: https://doi.org/10.1007/978-3-540-25944-2_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22129-6
Online ISBN: 978-3-540-25944-2
eBook Packages: Springer Book Archive