送交者: 短江学者 于 2008-01-10, 10:02:52:

回答: As for whether computer can deduce mathematical proof 由 fuzzify 于 2008-01-10, 09:52:40:

• It's been done, but you said "it is possible". (无内容) - fuzzify (0 bytes) 2008-01-10, 10:23:27 (197064)
  • sorry I should have said "all mathematical tricks". There - 短江学者 (138 bytes) 2008-01-10, 10:27:44 (197065)

加跟贴