A Mathematica Package for Solving and Displaying Inequalities

  • R. Ipanaqué
  • A. Iglesias
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3039)


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.


Logarithmic Function Similar Output Graphical Solution Inequality System Mathematica Package 
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.


  1. 1.
    Beckenbach, E.F., Bellman, R.E.: An Introduction to Inequalities. Random House, New York (1961)zbMATHGoogle Scholar
  2. 2.
    Brown, C.W.: Simple cylindrical algebraic decomposition construction and its applications. Journal of Symbolic Computation 31, 521–547 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Caviness, B.F., Johnson, J.R.: Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, New York (1998)zbMATHGoogle Scholar
  4. 4.
    Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities, 2nd edn. Cambridge University Press, Cambridge (1952)zbMATHGoogle Scholar
  5. 5.
    Kazarinoff, N.D.: Geometric Inequalities. Random House, New York (1961)Google Scholar
  6. 6.
    McCallum, S.: Solving polynomial strict inequalities using cylindrical algebraic decomposition. The Computer Journal 36(5), 432–438 (1993)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Mitrinovic, D.S.: Analytic Inequalities. Springer, New York (1970)zbMATHGoogle Scholar
  8. 8.
    Mitrinovic, D.S., Pecaric, J.E., Volenec, V.: Recent Advances in Geometric Inequalities. Kluwer, Dordrecht (1989)zbMATHGoogle Scholar
  9. 9.
    Strzebonski, A.: An algorithm for systems of strong polynomial inequalities. The Mathematica Journal 4(4), 74–77 (1994)Google Scholar
  10. 10.
    Strzebonski, A.: Solving algebraic inequalities. The Mathematica Journal 7, 525–541 (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • R. Ipanaqué
    • 1
  • A. Iglesias
    • 2
  1. 1.Mathematics DepartmentNational University of PiuraPerú
  2. 2.Department of Applied Mathematics and Computational SciencesUniversity of CantabriaSantanderSpain

Personalised recommendations