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

[Rob Arthan]

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

     http://www.dcs.qmul.ac.uk/~hago/thesis.ps.gz

Regards,

Rob.