Computer algebra meets automated theorem proving: Integrating Maple and pvs (2001)

by Martin Dunstan , Hanne Gottliebsen , Tom Kelsey , Ursula Martin
Venue:Theorem Proving in Higher Order Logics (TPHOLs 2001), volume 2152 of LNCS
Citations:19 - 3 self