Presentation	2002/5/17 A Proof Asistant System xpe Motohiko MOURI,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	This paper offers a proof assistant system xpe. It assists formal proof in mathematical logic. It was just a editor with windows system for proof figures on TEX. It has compatibility with proof.sty macros. It interprets and displays TEX commands. You can insert any formula between formulas in a proof figure interactively. We provide a new type proof assistant system `xpe' as a whole, that is used as user interface, and calls theorem prover programs. It has readability, reusability of proof figures. Since it has interactive operativity, we can obtain a complete proof figure if we input a incomplete proof figure and execute a theorem prover program to incomplete parts. Finally xpe is a proof assistant system beyond just a automated reasoning system.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)	automated theorem proving / proof figure / TEX / editor / proof or refutation algorithm
Paper #	AI2002-10
Date of Issue

Conference Information
Committee	AI
Conference Date	2002/5/17(1days)
Place (in Japanese)	(See Japanese page)
Place (in English)
Topics (in Japanese)	(See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To	Artificial Intelligence and Knowledge-Based Processing (AI)
Language	JPN
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	A Proof Asistant System xpe
Sub Title (in English)
Keyword(1)	automated theorem proving
Keyword(2)	proof figure
Keyword(3)	TEX
Keyword(4)	editor
Keyword(5)	proof or refutation algorithm
1st Author's Name	Motohiko MOURI
1st Author's Affiliation	Meme Media Laboratory, Faculty of Engineering, Hokkaido University()
Date	2002/5/17
Paper #	AI2002-10
Volume (vol)	vol.102
Number (no)	91
Page	pp.pp.-
#Pages	5
Date of Issue