Computer algebra meets automated theorem proving: A maple−pvs interface
Martin Dunstan‚ Hanne Gottliebsen‚ Tom Kelsey and Ursula Martin
Book Title
Proceedings of the Calculemus Workshop
Year
2001
Martin Dunstan‚ Hanne Gottliebsen‚ Tom Kelsey and Ursula Martin