Kimmo Arola on Wed, 19 Aug 1998 18:32:38 +0300 (EEST)


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

theorem proving software?


If pari is The calculator software for number theorists then what is The
theorem proving software for number theorists?

---Kimmo