中国科学院数学与系统科学研究院期刊网
例证法与代数簇的包含关系
王东明
“PROVING BY EXAMPLES”METHOD AND THE INCLUSION OF VARIETIES
WANG DONG-MING
系统科学与数学 . 1989, (1): 40 -046 .  DOI: 10.12341/jssms08541