xyz 发表于 2005-12-20 14:18

[求助]maple中如何实现“吴法”机器定理证明?

请教各位大侠,maple中如何实现“吴法”机器定理证明?能提供一个程序包吗?
页: [1]
查看完整版本: [求助]maple中如何实现“吴法”机器定理证明?