一门独立的新学科—定理机器证明
-
1赵子都.一门新学科：定理机器证明[J].自动化博览,1990(3):4-5.
-
2穆廷铭.一类平面图的四色问题[J].贵州教育学院学报,1991(2):18-19.
-
3Haim.,DT 江嘉禾.实验与猜想是不够的[J].数学译林,1995,14(3):254-264. 被引量：4
-
4赵子都.定理机器证明[J].自然辩证法研究,1994,10(5):46-50. 被引量：4
-
5殷堰工.数学定理的机器证明[J].科技潮,1997(11):33-33. 被引量：1
-
6陈省身.中国的数学——几件数学新闻和对于中国数学的一些看法[J].自然科学进展（国家重点实验室通讯）,1997,7(2):129-135. 被引量：4
-
7赵聪俐.一种带有限制的缺陷染色的研究[J].数学学习与研究,2008,0(11):121-122.
-
8王绍文.极大平面图的构成算法[J].北京机械工业学院学报,1997,12(2):51-55. 被引量：1
-
9四色猜想[J].大科技（科学之谜）（A）,2001(8):8-8.
-
10杨本立,杨蜀颖.平面图的拓扑结构与着色数[J].教学与科技,2006,19(4):1-7.
;
