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

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

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