Computer Algebra Systems in an Environment of Cooperating Theorem Provers

Bernd, Ingo Dahn

Date: July 17th (Wednesday)
Time: ??.??
Abstract
The specifics of some state-of-the-art theorem provers are discussed in order to point to the topics where they can benefit mostly from cooperation with computer algebra systems. Current fields of applications of theorem provers are sketched. This suggests demands on computer algebra systems to facilitate their cooperation with theorem provers, especially concerning problems of correctness and documentation. The talk is based on the experience from the integration of automated theorem provers into the interactive system ILF.

______________
__________________________________________

Previous page RISC SWP Linz Austria