|
|
|
|
|
|
|
|
Solving Algebraic Inequalities with Version 4
|
|
|
|
|
|
Organization: | Wolfram Research, Inc. |
Department: | Kernel Technology |
|
|
|
|
|
|
|
|
|
|
|
|
Introduction; Decision Problem; Solving Systems of Equations and Inequalities; Quantifier Elimination; Constrained Global Optimization; Algorithms Used; InequalityPlot Code; References
|
|
|
|
|
|
Mathematica 4.0 contains several new functions that allow systems of real algebraic equations and inequalities to be solved. In this article we describe the functions, show examples of their use, and comment on the algorithms used in their implementation.
|
|
|
|
|
|
|
|
|
|
|
|
http://www.mathematica-journal.com/issue/v7i4/features/strzebonski/
|
|