Abstract
In this paper, we introduce a novel dynamic mathematics system called NetPad for teaching and learning mathematics in elementary and secondary school. NetPad is a product of Internet Plus Education and can be launched directly from the internet using a web browser. It combines the Internet with dynamic geometry, computer algebra, and automated reasoning technology. NetPad distinguishes itself from other dynamic geometry systems by being an open, internet-based and sharing oriented intelligent system. NetPad is not only a tool but also a cloud platform for creating and sharing. Since NetPad is developed in HTML5, it is platform independent, runs on every operating system and intelligent device, and can be seamlessly integrated into other websites, PowerPoint and other software. The resources of NetPad can be shared to various social networks directly. The functions of NetPad include dynamic geometry drawing, symbolic computation, programming, automated reasoning in geometry, and so on. NetPad was published in March, 2016. Nowadays, there are more than 100,000 users and 30,000 mathematical resources on the NetPad website.
This work was supported in part by the National Natural Science Foundation of China (11701118 and U1201252), the Guangdong Provincial Engineering and Technology Research Center ([2015]1487), the Specialized Fund for Science and Technology Platform and Talent Team Project of Guizhou Province (QianKeHePingTaiRenCai[2016]5609), the Guangdong Provincial Key Platform and Major Scientific Research Projects (2016KQNCX238).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Zhang, J., Xiong, H., Peng, X.: Free software SSP for teaching mathematics. In: Symbolic Computation and Education, pp. 115–135 (2014)
The Geometer’s Sketchpad. http://www.dynamicgeometry.com
Cabri. http://www.cabri.com
Richter-Gebert, J., Kortenkamp, U.: The interactive geometry software Cinderella 2. Am. Math. Mon. 107(8) (1999)
GeoGebra. http://www.geogebra.org
Super Sketchpad. http://ssp.gzhu.edu.cn
Wang, Y., Rao, Y., Zou, Y., Huang, Y.: An algorithm for dynamic geometric intelligent drawing based on context awareness. In: Proceedings of IEEE the 2nd International Conference on Computational Intelligence and Applications, pp. 547–550 (2017)
McCharen, J.D., Overbeek, R.A., Wos, L.A.: Problems and experiments for and with automated theorem-proving programs. IEEE Trans. Comput. 25(8), 773–782 (1976)
Jingzhong Zhang, L., Yang, X.G., Chou, S.: Automated generation of readable proofs in geometry. Chin. J. Comput. 18(5), 380–394 (1995)
Zhang, J., Gao, X., Chou, S.: The geometry information search system by forward reasoning. Chin. J. Comput. 19(10), 722–727 (1996)
Zhang, J., Gao, X., Chou, S.: Geometric Invariant Methods of Geometric Theorem Proving. The Science Publishing Company, Beijing (2015)
SharePoint Add-ins. https://docs.microsoft.com/en-us/sharepoint/dev/sp-add-ins/sharepoint-add-ins
Acknowledgements
We are grateful to Masataka Kaneko for proposing many good suggestions and Zak Tonks for improving the English.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Rao, Y., Guan, H., Chen, R., Zuo, Y., Wang, Y. (2018). A Novel Dynamic Mathematics System Based on the Internet. In: Davenport, J., Kauers, M., Labahn, G., Urban, J. (eds) Mathematical Software – ICMS 2018. ICMS 2018. Lecture Notes in Computer Science(), vol 10931. Springer, Cham. https://doi.org/10.1007/978-3-319-96418-8_46
Download citation
DOI: https://doi.org/10.1007/978-3-319-96418-8_46
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-96417-1
Online ISBN: 978-3-319-96418-8
eBook Packages: Computer ScienceComputer Science (R0)