Automated simplification of trigonometric expressions is an important problem that hasn't been completely solved by current computer algebra systems. This paper presents a number of unique prescriptions for the ordering of some trigonometric transformation rules, which have been derived by observing how human experts follow their intuitive rules. We have… (More)
This paper presents research work conducted at Chinese Academy of Sciences, on the Vega Grid technology and dynamic geometry technology, and how the two can integrate to provide a dynamic geometry education system based on grid technology.
An intelligent tutoring system plays vital role in education and its importance is constantly increasing, meanwhile the key challenge in the teaching learning process is assessing students' learning efficiently. In this paper, a hybrid assessment based-on ACT-R cognitive learning theory, combining ontology knowledge map with skills is proposed. In order to… (More)