The Experts below are selected from a list of 4059 Experts worldwide ranked by ideXlab platform
Qiang Lin - One of the best experts on this subject based on the ideXlab platform.
-
A C-Tree Decomposition Algorithm for 2D and 3D Geometric Constraint Solving
Computer-Aided Design, 2006Co-Authors: Xiao-shan Gao, Qiang Lin, Gui-fang ZhangAbstract:In this paper, we propose a method which can be used to decompose a 2D or 3D constraint problem into a C-tree. With this decomposition, a geometric constraint problem can be reduced into basic merge patterns, which are the smallest problems we need to solve in order to solve the original problem in certain sense. Based on the C-tree decomposition algorithm, we implemented a software package MMP/Geometer. Experimental results show that MMP/Geometer finds the smallest decomposition for all the testing examples efficiently.
-
Automated Deduction in Geometry - MMP/Geometer – A Software Package for Automated Geometric Reasoning
Automated Deduction in Geometry, 2004Co-Authors: Xiao-shan Gao, Qiang LinAbstract:We introduce a software package, MMP/Geometer, developed by us to automate some of the basic geometric activities including geometric theorem proving, geometric theorem discovering, and geometric diagram generation. As a theorem prover, MMP/Geometer implements Wu’s method for Euclidean and differential geometries, the area method and the geometric deductive database method. With these methods, we can not only prove difficult geometric theorems but also discover new theorems and generate short and readable proofs. As a geometric diagram editor, MMP/Geometer is an intelligent dynamic geometric software tool which may be used to input and manipulate geometric diagrams conveniently and interactively by combining the idea of dynamic geometry and methods of automated diagram generation.
-
MMP/Geometer: A software package for automated geometric reasoning
Lecture Notes in Computer Science, 2004Co-Authors: Xiao-shan Gao, Qiang LinAbstract:We introduce a software package, MMP/Geometer, developed by us to automate some of the basic geometric activities including geometric theorem proving, geometric theorem discovering, and geometric diagram generation. As a theorem prover, MMP/Geometer implements Wu's method for Euclidean and differential geometries, the area method and the geometric deductive database method. With these methods, we can not only prove difficult geometric theorems but also discover new theorems and generate short and readable proofs. As a geometric diagram editor, MMP/Geometer is an intelligent dynamic geometric software tool which may be used to input and manipulate geometric diagrams conveniently and interactively by combining the idea of dynamic geometry and methods of automated diagram generation.
-
mmp Geometer a software package for automated geometric reasoning
Lecture Notes in Computer Science, 2004Co-Authors: Xiao-shan Gao, Qiang LinAbstract:We introduce a software package, MMP/Geometer, developed by us to automate some of the basic geometric activities including geometric theorem proving, geometric theorem discovering, and geometric diagram generation. As a theorem prover, MMP/Geometer implements Wu's method for Euclidean and differential geometries, the area method and the geometric deductive database method. With these methods, we can not only prove difficult geometric theorems but also discover new theorems and generate short and readable proofs. As a geometric diagram editor, MMP/Geometer is an intelligent dynamic geometric software tool which may be used to input and manipulate geometric diagrams conveniently and interactively by combining the idea of dynamic geometry and methods of automated diagram generation.
Xiao-shan Gao - One of the best experts on this subject based on the ideXlab platform.
-
A C-Tree Decomposition Algorithm for 2D and 3D Geometric Constraint Solving
Computer-Aided Design, 2006Co-Authors: Xiao-shan Gao, Qiang Lin, Gui-fang ZhangAbstract:In this paper, we propose a method which can be used to decompose a 2D or 3D constraint problem into a C-tree. With this decomposition, a geometric constraint problem can be reduced into basic merge patterns, which are the smallest problems we need to solve in order to solve the original problem in certain sense. Based on the C-tree decomposition algorithm, we implemented a software package MMP/Geometer. Experimental results show that MMP/Geometer finds the smallest decomposition for all the testing examples efficiently.
-
Automated Deduction in Geometry - MMP/Geometer – A Software Package for Automated Geometric Reasoning
Automated Deduction in Geometry, 2004Co-Authors: Xiao-shan Gao, Qiang LinAbstract:We introduce a software package, MMP/Geometer, developed by us to automate some of the basic geometric activities including geometric theorem proving, geometric theorem discovering, and geometric diagram generation. As a theorem prover, MMP/Geometer implements Wu’s method for Euclidean and differential geometries, the area method and the geometric deductive database method. With these methods, we can not only prove difficult geometric theorems but also discover new theorems and generate short and readable proofs. As a geometric diagram editor, MMP/Geometer is an intelligent dynamic geometric software tool which may be used to input and manipulate geometric diagrams conveniently and interactively by combining the idea of dynamic geometry and methods of automated diagram generation.
-
MMP/Geometer: A software package for automated geometric reasoning
Lecture Notes in Computer Science, 2004Co-Authors: Xiao-shan Gao, Qiang LinAbstract:We introduce a software package, MMP/Geometer, developed by us to automate some of the basic geometric activities including geometric theorem proving, geometric theorem discovering, and geometric diagram generation. As a theorem prover, MMP/Geometer implements Wu's method for Euclidean and differential geometries, the area method and the geometric deductive database method. With these methods, we can not only prove difficult geometric theorems but also discover new theorems and generate short and readable proofs. As a geometric diagram editor, MMP/Geometer is an intelligent dynamic geometric software tool which may be used to input and manipulate geometric diagrams conveniently and interactively by combining the idea of dynamic geometry and methods of automated diagram generation.
-
mmp Geometer a software package for automated geometric reasoning
Lecture Notes in Computer Science, 2004Co-Authors: Xiao-shan Gao, Qiang LinAbstract:We introduce a software package, MMP/Geometer, developed by us to automate some of the basic geometric activities including geometric theorem proving, geometric theorem discovering, and geometric diagram generation. As a theorem prover, MMP/Geometer implements Wu's method for Euclidean and differential geometries, the area method and the geometric deductive database method. With these methods, we can not only prove difficult geometric theorems but also discover new theorems and generate short and readable proofs. As a geometric diagram editor, MMP/Geometer is an intelligent dynamic geometric software tool which may be used to input and manipulate geometric diagrams conveniently and interactively by combining the idea of dynamic geometry and methods of automated diagram generation.
K Veena Latha - One of the best experts on this subject based on the ideXlab platform.
-
Impact of Geometer’s Sketch Pad on High School Students’ Performance in Mathematics
International Journal of Research, 2020Co-Authors: K Veena LathaAbstract:Mathematics has long been one of the most feared subjects among students. As such, educators have been constantly looking into different approaches to continue improving the transaction of this subject. This study seeks to investigate the impact of Geometers’ Sketchpad (GSP) – a dynamic geometrical software, in the teaching and learning of Mathematics among high school students. This study was conducted on 40 students who were divided into the control group and an experimental group. The control group received conventional teaching method while the experimental group was taught based on a GSP module designed to solve Triangles. A questionnaire was used to see the attitude and perception of students towards the usage of Geometers Sketch pad and an achievement test was administered to see its impact on students’ achievement. A descriptive analysis showed that most of the students agreed that the Geometer’s Sketchpad is a useful tool for learning Geometry. The findings from this study have indicated that the students perception towards the use of Geometer’s Sketchpad is positive, there is a need to improve the attitude of the students towards the use of Geometer’s Sketchpad since there is a considerable improvement in the scores of students in the achievement test after the use of Geometers Sketchpad in the teaching learning process.
Klaus Volkert - One of the best experts on this subject based on the ideXlab platform.
-
Adolf Hurwitz, Geometer
Mathematische Semesterberichte, 2020Co-Authors: Klaus VolkertAbstract:In diesem Beitrag wird die Probevorlesung vorgestellt, die Adolf Hurwitz anlässlich seiner Habilitation 1882 gehalten hat. Er gibt darin einen bemerkenswerten Überblick zur Lage der Geometrie zu dieser Zeit.
-
Adolf Hurwitz, Geometer
Mathematische Semesterberichte, 2020Co-Authors: Klaus VolkertAbstract:In diesem Beitrag wird die Probevorlesung vorgestellt, die Adolf Hurwitz anlässlich seiner Habilitation 1882 gehalten hat. Er gibt darin einen bemerkenswerten Überblick zur Lage der Geometrie zu dieser Zeit.
Noraini Idris - One of the best experts on this subject based on the ideXlab platform.
-
The Impact of Using Geometers' Sketchpad on Malaysian Students' Achievement and Van Hiele Geometric Thinking
2009Co-Authors: Noraini IdrisAbstract:This quasi-experimental research was designed to examine the impact of using Geometers’ sketchpad on geometry achievement and the level of van Hiele geometric thought among Form Three students in one of the secondary schools in Perak, Malaysia. A total of 65 Form Three students from the school were chosen for this research. The treatment group (N=32) underwent the lessons using the Geometers’ sketchpad for ten weeks. At the same time the control group (N=33) was taught by the traditional approach. The finding of this study about the effects of Geometer’s Sketchpad and the van Hiele model will be useful to mathematics teachers and educators. The Curriculum and Evaluation Standards for School Mathematics (NCTM, 1989) and other important literature in the area of reform in mathematics education (Mathematical Sciences Education Board, 1990; National Research Council, 1989) call for change in emphasis and content in geometry at all levels. The introduction of Geometers’ sketchpad gave mathematics educators opportunities to help students not only solve geometry problems but also to discuss, justify, and help improve thinking. Learning of geometry is formally introduced in the Malaysian primary mathematics curriculum. The emphasis in geometry increases as students progress to secondary education, where about forty percent of the sixty topics in the five-year secondary mathematics curriculum comprises geometry content (Malaysian Ministry of Education, 1998). Geometry is a unifying theme to the entire mathematics curriculum and as such is a rich source of visualization for arithmetical, algebraic, and statistical concepts. For example,
-
The Effect of Geometers' Sketchpad on the Performance in Geometry of Malaysian Students' Achievement and van Hiele Geometric Thinking
2008Co-Authors: Noraini IdrisAbstract:This study was designed to investigate the effect of using Geometers’ Sketchpad on performance in geometry achievement and the level of van Hiele geometric thought among Form Two students in one of the secondary schools in Kuala Lumpur. The van Hiele Geometry Test was administered to determine their level of geometric thought according to van Hiele theory. This Quasi-experimental research was carried out in one of the secondary schools in Kuala Lumpur. A total of 65 Form Two students from the school were chosen for this research. The treatment group (N=32) underwent the lessons using the Geometers’ Sketchpad for ten weeks. At the same time the control group (N=33) was taught by the traditional approach. The questionnaire and checklist were administered to explore the students’ response to wards to the use of Geometer’s Sketchpad on learning of geometry. A descriptive analysis showed that most of the students agreed that the Geometer’s Sketchpad is a useful tool for learning geometry. The findings of this study about the effects of Geometer’s Sketchpad and van Hiele model will be useful to mathematics teachers, educators and those who are involved in the teaching of mathematics, particularly geometry in the planning of teaching activities for the classroom.
