Wolfram Library Archive


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

Using Assumptions and Solving Inequalities
Author

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

1998 WorldWide Mathematica Conference
Conference location

Chicago, IL
Description

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

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

polynomial equation, polynomial inequality, constraints, minimizing polynomials
URL

http://library.wolfram.com/conferences/conference98/abstracts/using_assumptions_and_solving_inequal [...]
Downloads

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