送交者: HunHunSheng 于 2006-12-09, 09:56:14:
回答: 数学证明要是有容易办法形式化并用计算机验证就好了 由 ping_max 于 2006-12-09, 01:40:33:
加跟贴
标题:
内容: (BBCode使用说明)