-
Notifications
You must be signed in to change notification settings - Fork 2
/
gex_jgex.html
117 lines (85 loc) · 5.25 KB
/
gex_jgex.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<script type="text/javascript">
var tiki_cookie_jar = new Array();
tiki_cookie_jar = {
};
</script>
<script type="text/javascript" src="lib/tiki-js.js"></script><title>JGEX Documentation :GEX and JGEX</title>
<link rel="StyleSheet" href="lib/1.css" type="text/css">
<link rel="StyleSheet" href="styles/cindydoc.css" type="text/css">
<link rel="alternate" type="application/xml" title="RSS Wiki" >
<style type="text/css">
<!--
.style2 {font-size: 18px}
-->
</style>
</head>
<body>
<div id="overDiv" style="position: absolute; visibility: hidden; z-index: 1000;"></div>
<script type="text/javascript" language="JavaScript" src="lib/overlib.js"></script>
<div id="tiki-clean">
<div id="tiki-mid">
<div class="wikitopline">
<table><tbody><tr>
<td style="vertical-align: top;">
</td>
</tr></tbody></table>
</div>
<div class="wikitext">
<h2>GEX and JGEX </h2>
<p>Since the pioneering work by the eminent Chinese mathematician Wen-Tsun Wu, 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. Inspired by the success
of Wu's method, researchers were also successfully in applying another algebraic method, the
Grobner basis method, to the same class of geometry theorems that Wu's method addresses. The book <span class="wiki">[1]</span> contains a collection of 512 theorems mechanically proved by Wu's
method. </p>
<p>The proofs with algebraic methods are generally not readable because polynomials with hundreds
or even thousands of terms are generated during the proof processes.
During the 1990s the methods for generating human-readable proofs were introduced. Notably
the area method <span class="wiki">[4]</span> and the full-angle method <span class="wiki">[5] </span>can generate elegant and short (sometimes
even shorter than those given by geometry experts) proofs. Our deductive basis method based
mainly on the full-angle method<span class="wiki"> [6]</span> can not only generate proofs, but also can discover (and
prove) possibly new theorems.</p>
<p><br />
The software Geometry Expert (GEX) was originally developed around 1994 at <a href="http://www.wichita.edu">Wichita State University</a> by S. C. Chou, X. S. Gao, and J. Z. Zhang. It consists
of two parts: the proving and reasoning part, and the drawing part. The dynamic nature of its
drawing part is comparable to that of Gabri and the Geometer's Sketchpad.
However, GEX uses Openwin under X-Window which is no longer supported by the Linux
distributions after 2000. Thus we could not satisfy the requests for GEX from students and
researchers in the world after 2000.</p>
<p><br />
<strong>Java Geometry Expert</strong><br />
The Java Geometry Expert (Java GEX or JGEX) has been rewritten completely with emphasis on its ease
of use by high school students and teachers in geometric drawing for educational purpose.
The primary goal of Java GEX is to provide a piece of alternative and free software for dynamic
geometry. We began this project in 2004 and plan to release the first official version in 2008.</p>
<p> Since Java is platform-independent, people can use Java GEX at any platform by downloading
the compiled Java bytecode to their local machines. Also any user with a browser and the
INTERNET connection can use a part of our JGEX at <a href="http://woody.cs.wichita.edu">http://woody.cs.wichita.edu</a> to see examples. We have prepared a few dozens of examples. Please click
the example menu item to play with these examples. In these examples, points with the red or
green color are free or semi-free points that can be dragged with the mouse.</p>
<p><br>
<strong>[1]</strong> S. C. Chou, Mechanical Geometry Theorem Proving, D. Reidel Publishing Company, Dordrecht,
Netherlands, 1988.<br />
<strong>[2]</strong> S.C. Chou, X.S. Gao, & J.Z. Zhang, An Introduction to Geometry Expert, Proc. CADE-13,
p. 235-239, 1996, Springer-Verlag.<br />
<strong>[3]</strong> S. C. Chou and W.F. Schelter, Proving Geometry Theorems with Rewrite Rules, Journal of
Automated Reasoning, 2(4) 1986, 253273.<br />
<strong>[4] </strong>S. C. Chou, X .S. Gao, & J. Z. Zhang, Machine Proofs in Geometry, World Scientic,
Singapore, 1994.<br />
<strong>[5]</strong> S.C. Chou, X.S. Gao, & J.Z. Zhang, Automated Generation of of Readable Proofs with Geometric
Invariants, Part II. Proving Theorems with Full-Angles, J. of Automated Reasoning,
17, 349-370, 1996.<br />
<strong>[6]</strong> S. C. Chou, X. S. Gao, and J. Z. Zhang, A Deductive Database Approach To Automated
Geometry Theorem Proving and Discovering, J. Automated reasoning, 25(3), 219-246,
2000.<br>
<tt> </tt></p>
</div>
<p class="editdate">JGEX Help </p>
</div>
</div>
</body></html>