An Implementation of a Database System for Theorem Search

摘要：

This paper presents a special database system for theorem search. The system supports fast search by web browsers and has a plentiful database for theorems. Using the system, theorems can be found by various ways.

关键词： Theorem Proving Theorem Finding Isabelle Database Search Engine

作者: HE Cheng Kobayashi Hidetsune Suzuki Hideo

作者单位: Graduate School of Science and Technology Nihon University Tokyo 101-8308, Japan Department of Information Technology Tokyo Institute, Polytechnic University Tokyo 187-0035, Japan

会议类型: 国际会议

会议名称: 第一届国际计算机新科技与教育学术会议(Proceedings of the First International Conference on Computer Science & Education ICCSE2006)

会议地点: 厦门

会议语种:英文

页码: 287-288

在线出版日期: 2006-07-27（万方平台首次上网日期，不代表论文的发表时间）