Mathematica 4.0 contains several new functions that allow systems of real algebraic equations and inequalities to be solved. In this article we describe the functions, show ...

Since the days of Fermat, it has been an ongoing challenge to find simple-appearing equations with large solutions. The equation in the title seems simple enough, but the ...

Mathematica 5 contains new functionality that allows users to solve, possibly quantified, systems of equations and inequalities with domain restrictions on the variables. The ...

We describe a simplified cylindrical decomposition algorithm that allows us to find at least one rational point in each connected component of an open semialgebraic set. In ...

This is the legacy standard add-on package Graphics`InequalityGraphics` from Version 5.2, with minimal updates for basic compatibility with 6.0. It does contain obsolescence ...

In this presentation we will present how we used Mathematica to test a new optimization algorithm for equality and inequality constrained target functions. The algorithm ...

In the upcoming version of Mathematica, many functions formerly available through add-on packages have been redesigned, extended, often re-implemented, and are included in ...

To enable students of calculus and precalculus to include auxiliary graphics conveniently in their graphs--and thereby reduce the potential for confusion and ...

This package includes functions for stability analysis of square numerical matrices and polynomials with numerical coefficients. Specifically, the number of roots z ...