Mathematica 9 is now available

Wolfram Library Archive

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

Using Assumptions and Solving Inequalities

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

1998 WorldWide Mathematica Conference
Conference location

Chicago, IL

The next version of Mathematica allows specifying assumptions in Simplify and related functions. The underlying mechanism used automatically to check inference of inequality assumptions is also used by various new functions allowing us to solve systems of real polynomial equations and inequalities, minimize polynomial functions on polynomial inequality constraints, and eliminate quantifiers from real polynomial equation and inequality systems. I will show some examples and shortly describe the algorithms used.

*Mathematica Technology > Programming > Symbolic Computation
*Mathematics > Foundations of Mathematics > Logic

polynomial equation, polynomial inequality, constraints, minimizing polynomials
URL [...]

Strzebonski.sit.hqx (173.4 KB) - Macintosh
Download (123.6 KB) - PC/Unix