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
-
-
J.M. Borwein and P.B. Borwein, "Inequalities for compound means with logarithmic asymptotes," Journal of Mathematical Analysis and Applications, 177(1993),572-582.
-
Identity Checking.
-
-
Symbolic Convex Analysis.
-
-
J.M. Borwein, "A note on the existence of subgradients," Math.
Programming, 24(1982),225-228.