CAS的原理是啥
【 在 donkeymeat 的大作中提到: 】
: 事情上，灵光一现的才叫创新，其余的都是逻辑等价推导，只不过是还没推到而已，可以利用代数系统进行自动推导。
:
--
FROM 60.10.229.*