| 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