Skip to main content

2018 | OriginalPaper | Buchkapitel

A Novel Dynamic Mathematics System Based on the Internet

verfasst von : Yongsheng Rao, Hao Guan, Ruxian Chen, Yu Zuo, Ying Wang

Erschienen in: Mathematical Software – ICMS 2018

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Zhang, J., Xiong, H., Peng, X.: Free software SSP for teaching mathematics. In: Symbolic Computation and Education, pp. 115–135 (2014)CrossRef Zhang, J., Xiong, H., Peng, X.: Free software SSP for teaching mathematics. In: Symbolic Computation and Education, pp. 115–135 (2014)CrossRef
4.
Zurück zum Zitat Richter-Gebert, J., Kortenkamp, U.: The interactive geometry software Cinderella 2. Am. Math. Mon. 107(8) (1999) Richter-Gebert, J., Kortenkamp, U.: The interactive geometry software Cinderella 2. Am. Math. Mon. 107(8) (1999)
7.
Zurück zum Zitat 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) 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)
8.
Zurück zum Zitat 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)CrossRef 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)CrossRef
9.
Zurück zum Zitat Jingzhong Zhang, L., Yang, X.G., Chou, S.: Automated generation of readable proofs in geometry. Chin. J. Comput. 18(5), 380–394 (1995) Jingzhong Zhang, L., Yang, X.G., Chou, S.: Automated generation of readable proofs in geometry. Chin. J. Comput. 18(5), 380–394 (1995)
10.
Zurück zum Zitat 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.: The geometry information search system by forward reasoning. Chin. J. Comput. 19(10), 722–727 (1996)
11.
Zurück zum Zitat Zhang, J., Gao, X., Chou, S.: Geometric Invariant Methods of Geometric Theorem Proving. The Science Publishing Company, Beijing (2015) Zhang, J., Gao, X., Chou, S.: Geometric Invariant Methods of Geometric Theorem Proving. The Science Publishing Company, Beijing (2015)
Metadaten
Titel
A Novel Dynamic Mathematics System Based on the Internet
verfasst von
Yongsheng Rao
Hao Guan
Ruxian Chen
Yu Zuo
Ying Wang
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-96418-8_46

Premium Partner