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