Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

Solving Algebraic Inequalities with Version 4
Author

Adam Strzebonski
Organization: Wolfram Research, Inc.
Department: Kernel Technology
Journal / Anthology

The Mathematica Journal
Year: 2000
Volume: 7
Issue: 4
Page range: 525-541
Contents

Introduction; Decision Problem; Solving Systems of Equations and Inequalities; Quantifier Elimination; Constrained Global Optimization; Algorithms Used; InequalityPlot Code; References
Description

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.
Subjects

*Mathematica Technology > Programming > Equation Solving
*Mathematica Technology > Programming > Symbolic Computation
*Mathematics > Algebra
URL

http://www.mathematica-journal.com/issue/v7i4/features/strzebonski/