Specification and Integration of Theorem Provers and Computer Algebra Systems.

Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann

Browse the full AISC paper archive.