The Mathematica Journal
Departments
Feature Articles
Columns
New Products
New Publications
Classifieds
Calendar
News Bulletins
Mailbox
Letters
Write Us
About the Journal
Staff and Contributors
Submissions
Subscriptions
Advertising
Back Issues
Home
Download this Issue

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