## Combining symbolic computation and theorem proving: some problems of Ramanujan (1994)

by
Edmund Clarke
,
Xudong Zhao

Venue: | In A. Bundy (Ed.), Automated Deduction (CADE-12 |

Citations: | 12 - 3 self |