Combining Theorem Proving and Symbolic Mathematical Computing.

Karsten Homann, Jacques Calmet

Browse the full AISC paper archive.