[FOM] Brief Reply to Comments on [Zeilberger's] Opinion 57

Rob Arthan rda at lemma-one.com
Sat May 22 11:42:24 EDT 2004

Last November I wrote, in reply to Doron ZeilBerger,

> > >Has anyone worked seriously with an automated theorem prover in
> > >conjunction with a computer algebra system?
> Yes. E.g., see the work of Ursula Martin, Andrew Adams and others on using
> theorem provers to try to analyse the side conditions, e.g., on
> differentiability or definedness,  that computer algebra algorithms are
> inclined not to bother their little heads with.

Hanne Gottliebsen's thesis contains a very accessible write-up of her work in 
the above-mentioned group. Hanne has made available it on the web at




More information about the FOM mailing list