Searching for "Computer Algebra Meets Automated Theorem Proving Integrating Maple and PVS." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Computer algebra meets automated theorem proving: Integrating Maple and pvs
by Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin — 2001 — Theorem Proving in Higher Order Logics (TPHOLs 2001), volume 2152 of LNCS
… Computer Algebra meets Automated Theorem Proving: A Maple-PVS Interface Martin Dunstan1, Hanne…
Cited by 12 (3 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB