In order to fully tap the educational value of geometry theorem proving theory and meet the actual needs of geometry teaching in secondary school, this project focuses on the so-called restricted automated geometry theorem proving. The aim of our research is not only to improve the ability and efficiency of the proving algorithm, but also to place some limit on the rules in proving, the length of ...
The project is a national topicwhichbelongs to the National Natural Science Foundation Project. It was undertaken from January, 2007 to December,2009. The project solved the problem of digital rights to control the continuity of a distributed application environment. The project defined the connotation and extension of the obligations, conditions and the attribute sets. Through the analysis of var...
Address: Science Hall, Huazhong Normal University, 152 Luoyu Road, Wuhan, Hubei, P. R. China, postcode: 430079
(National Engineering Research Center for E-Learning)
Tel: 027-67867024 Fax: 027-67862995 Email: nercel@mail.ccnu.edu.cn
