Research and development of automated theorem proving system for set theory
Xiaoling Tang · Jisuanji gongcheng yu sheji · 2006
Upto the present,there isn't related research about automatedtheorem proving ofset theory in domestic and overseas.Though the basic status of set theory in the field of mathematics looks realizing mechanization in this field very important,there isn't any evolving year in year out.At present,there isn't found any system of producing understandable proof.Through the research ofartificialintelligence search arithmetic,the mechanization method of automated theorem proving of equation theorem of set theory is proposed.The system can automated produce understandable proof of set theorem and related explain.