Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration As a Case Study

A. A. Adams, H. Gottliebsen, S. A. Linton, U. Martin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration As a Case Study'. Together they form a unique fingerprint.

Computer Science