-
Notifications
You must be signed in to change notification settings - Fork 2
/
introduction_manually_input_method.html
87 lines (55 loc) · 3.19 KB
/
introduction_manually_input_method.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
<!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 : manually input method</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"></div>
<div class="wikitext">
<h2>Introduction to Manually Input Method. </h2>
<p><br />
Generally, for a relatively complicated human proof, a substantial amount of work and imagination
is needed for converting it into a visually dynamic representation of the proof. It is much harder to
develop a general tool so that the creation of visual presentations can be done easily. This tool has
been implemented in JGEX.</p>
<p><br />
In JGEX, a complete proof created manually consists of three parts: <strong>The given part</strong> (the hypotheses),<strong> the to prove part </strong>(the conclusion) and <strong>the proof part</strong>. See appendix for detail description.</p>
<p><br />
The first part is the hypotheses in construction form. To input the hypotheses, the user can just draw
on the diagram pane and the hypotheses will be generated accordingly and automatically. Then the
user gives the keywords "To prove" to indicate the inputting of conclusion. After the conclusion<br />
the user can write the proof part with any proof method, mainly with mouse clicks. </p>
<p><br />
The unique traits of the method is that it mainly uses mouse clicks and uses keyboard strokes only
when they are necessary or convenient, e.g., some annotations or geometry statements in English.
With mouse clicks, it is not only easy and intuitive to use, but is also less error-prone. For example,<br />
instead of typing “tirangle DAG”, we can use the mouse to click points D, A, and G in the diagram
to generate the text “tirangleDAG”. Thus there is no error: the order of the points in the text and the
orientation of the triangle in the diagram are preserved. Furthermore, with the equilateral triangle
icon, we can click any two points to drag an equilateral triangle in the diagram, and at the same
time the text, say “equilateral tirangle ABC”, is automatically generated.</p>
<p> </p>
<h3>Layout of the Proof</h3>
<p><a href="Pythagoras.html"><img src="images2/mproof.gif" width="340" height="348" border="1" /></a> </p>
</div>
<p class="editdate">JGEX Help </p>
</div>
</div>
</body></html>