References
Zhang Z Q, Jiang Z G. Research on survey and development of high-quality education resources allocation from the perspective of fairness. Adv Educ, 2015, 5: 69–75
Rao Y S, Wang Y, Zou Y, et al. The sustainability of digital educational resources. Lect Notes Comput Sci, 2014, 8592: 230–234
Baldwin A A. Developing an interactive textbook using iBooks author. Federation of Bus Disciplines J, 2015, 3: 1–12
Nouri H, Abdus S. The effect of PowerPoint presentations on student learning and attitudes. Global Perspect Account Educ, 2005, 2: 53–73
Zhang J Z. Intelligent knowledge platform in the system for knowledge serving. J Cent China Norm Univ, 2005, 39: 455–460
Myers B A. A brief history of human-computer interaction technology. ACM Interact, 1998, 2: 44–54
McCharen J D, Overbeek R A, Lawrence T. Problems and experiments for and with automated theoremproving programs. IEEE Trans Comput, 1976, 25: 773–782
Zhang J Z, Gao X S, Zhou X Q. Geometric Invariant Methods of Geometric Theorem Proving. Beijing: the Science Publishing Company, 2015
Acknowledgements
This work was supported by National High Technology Research and Development Program of China (Grant No. 2015AA015408), National Natural Science Foundation of China (Grant Nos. 11701118, U1201252), and Specialized Fund for Science and Technology Platform and Talent Team Project of Guizhou Province (Grant No. QianKeHePingTaiRenCai [2016]5609).
Author information
Authors and Affiliations
Corresponding author
Electronic supplementary material
Rights and permissions
About this article
Cite this article
Rao, Y., Zhang, J., Zou, Y. et al. An advanced operating environment for mathematics education resources. Sci. China Inf. Sci. 61, 098102 (2018). https://doi.org/10.1007/s11432-017-9235-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11432-017-9235-7