Prof. Shang-Ching Chou of Wichita State University
Abstract of talk
Nov. 30, 2005
"Since the pioneering work by the eminent Chinese mathematician Wen-Tsun Wu in
1977, great achievements have been made by world-wide researchers in
geometry theorem proving. Hundreds of difficult theorems whose traditional
proofs require enormous amounts of human intelligence, such as Feuerbach's
theorem, the Morley trisector theorem, etc., have been proved totally
automatically by computer programs based on Wu's algorithm.
The software ``Geometry Expert" (GEX) was originally developed jointly by S.
C. Chou, X. S. Gao, and J. Z. Zhang in 1994-95 at WSU. It consists of two
parts: the proving/reasoning part and the drawing part. The drawing part
uses Openwin under Linux which is no longer supported by the Linux
distributions after 2000. Thus we could not satisfy the requests for GEX
from students and researchers after 2000.
The Java version of ``Geometry Expert" has been rewritten completely with
emphasis on its ease of use by high school students and teachers in
geometric drawing. This project began in 2004 and is expected to be
completed by Fall 2006. Since Java is platform-independent, people with an
INTERNET connection can use GEX either by downloading it to their local
machines or by connecting to our Web Server.
In this talk we will use our most recent version to show how to use the
computer to prove theorems and how to use the software to do geometry
construction problems manually with the ruler and compass (e.g., construct
an equilateral triangle with its three vertices on three given parallel
lines.)"