 | |
 |
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
 | |
|
 |
|
 |
 | |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
Adam Strzebonski
Wolfram Research, Inc.
and
Jagiellonian University
adams@wolfram.com
Introduction
Decision Problem
Solving Systems of Equations and Inequalities
Quantifier Elimination
Constrained Global Optimization
Algorithms Used
InequalityPlot Code
References
Converted by Mathematica April 24, 2000