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 online demo)

Computationally Assisted Inequality Validation


J.M. Borwein and P.B. Borwein, "Inequalities for compound means with logarithmic asymptotes," Journal of Mathematical Analysis and Applications, 177(1993),572582.

Identity Checking.


Symbolic Convex Analysis.


J.M. Borwein, "A note on the existence of subgradients," Math.
Programming, 24(1982),225228.