排序方式: 共有3条查询结果,搜索用时 379 毫秒
1
1.
几何定理的机器证明--每个中国数学教师都应懂得的方法 总被引:1,自引:0,他引:1
田长生 《广东技术师范学院学报》2003,(6):82-84
本文着重介绍了几何定理的机器证明的开拓者和奠基人——吴文俊院士创立的“吴法”及其主要成员张景中院士的“消标点法”和杨路教授的“降维算法”。 相似文献
2.
在何殿奎眼中,黄永胜爱摆"老革命"资格,李作鹏很沉闷,邱会作更不爱说话,只有吴法宪,有什么心事总爱说出来上次采访秦城监狱前监管处处长何殿奎,还是2010年初(见本刊2010年第12期《亲历秦城监管岁月》)。近两年过去,年近80的何殿奎依然瘦削硬朗、腰背挺直,记忆力也依然让年轻人惭愧。只是,随着金融街的扩张,被包围在高楼大厦中的这个老旧院落,也面临着拆迁的命运。何家楼下一户邻居已经搬走,门边一个巨大的"拆"字,比人还高。但何殿奎却安之若素,卧室中还新添了电脑,准备学习上网。 相似文献
3.
何殿奎是秦城监狱前监管处处长。不久前,他在接受采访时,披露了江青及林彪的"四大金刚"在秦城监狱的生活,与社会上流传的多有不同。生活上的优待没有了1976年,何殿奎是秦城监狱管教科科长。当时,他负责的204监区,主要关押的是林彪集团嫌犯。"九·一三事件"后,林彪的"四大金刚"在人民大会堂被捕,被关押在北京卫戍区的不同地 相似文献
1