 |
|
|
|
|
 |
 |
|
Using Assumptions and Solving Inequalities
|
|
|
|
|
|
| Organization: | Wolfram Research, Inc. |
| Department: | Kernel Technology |
|
|
|
|
|
|
1998 WorldWide Mathematica Conference
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
polynomial equation, polynomial inequality, constraints, minimizing polynomials
|
|
|
|
|
|
http://library.wolfram.com/conferences/conference98/abstracts/using_assumptions_and_solving_inequal [...]
|
|
|
|
|
|
| Strzebonski.sit.hqx (173.4 KB) - Macintosh | | strzebonski.zip (123.6 KB) - PC/Unix |
|
|
For the newest resources, visit Wolfram Repositories and Archives »
