Computer algebra meets automated theorem proving: Integrating Maple and PVS
Andrew Adams‚ Martin Dunstan‚ Hanne Gottliebsen‚ Tom Kelsey‚ Ursula Martin and Sam Owre
Journal
Theorem proving in higher order logics
Pages
1349–1353
Publisher
Springer Berlin/Heidelberg
Year
2001