"Russian killer" no. 2: A challenging geometric theorem with human and machine proofs

CSpace

	"Russian killer" no. 2: A challenging geometric theorem with human and machine proofs
	Hou, XR ; Li, HB ; Wang, DM ; Yang, L
	2001-12-01
发表期刊	MATHEMATICAL INTELLIGENCER
ISSN	0343-6993
卷号	23 期号:1 页码:9-15
语种	英语
WOS研究方向	Mathematics
WOS类目	Mathematics
WOS记录号	WOS:000166623900004
出版者	SPRINGER-VERLAG
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/16073
专题	中国科学院数学与系统科学研究院
通讯作者	Hou, XR
作者单位	1.Acad Sinica, Chengdu Inst Comp Applicat, Chengdu 610041, Peoples R China 2.Univ Paris 06, CNRS, Lab Informat Paris 6, F-75252 Paris 05, France 3.Acad Sinica, Inst Syst Sci, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Hou, XR,Li, HB,Wang, DM,et al. "Russian killer" no. 2: A challenging geometric theorem with human and machine proofs[J]. MATHEMATICAL INTELLIGENCER,2001,23(1):9-15.
APA	Hou, XR,Li, HB,Wang, DM,&Yang, L.(2001)."Russian killer" no. 2: A challenging geometric theorem with human and machine proofs.MATHEMATICAL INTELLIGENCER,23(1),9-15.
MLA	Hou, XR,et al.""Russian killer" no. 2: A challenging geometric theorem with human and machine proofs".MATHEMATICAL INTELLIGENCER 23.1(2001):9-15.