[FOM] Brief Reply to Comments on [Zeilberger's] Opinion 57
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