Symbolic Computation


These projects use symbolic computation in an essential way both in the process of discovery and proof. Each aims at producing robust software.
Inverse Symbolic Calculator (includes on-line demo)

Computationally Assisted Inequality Validation

Identity Checking.

Symbolic Convex Analysis.