Theorems and Algorithms: An Interface between Isabelle and Maple.

Clemens Ballarin, Karsten Homann, Jacques Calmet

Browse the full ISSAC paper archive.