computer search for counterexamples to wilkies identity

ISCAS OpenIR

	computer search for counterexamples to wilkies identity
	Zhang J
	2005
会议名称	20th International Conference on Automated Deduction (CADE-20)
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	441-451
会议日期	JUL 22-27,
会议地点	Tallinn, ESTONIA
收录类别	sci ; istp ; ei
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS
ISSN	0302-9743
ISBN	3-540-28005-7
部门归属	Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100864, Peoples R China.
摘要	Tarski raised the High School Problem, i.e., whether a set of 11 identities (denoted by HSI) serves as a basis for all the identities which hold for the natural numbers. It was answered by Wilkie in the negative, who gave an identity which hol
关键词	Mathematical Models Number Theory Problem Solving Professional Aspects
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12744
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Zhang J. computer search for counterexamples to wilkies identity[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS,2005:441-451.