{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T07:51:16Z","timestamp":1744185076442,"version":"3.37.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319964171"},{"type":"electronic","value":"9783319964188"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-96418-8_46","type":"book-chapter","created":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T06:57:13Z","timestamp":1531465033000},"page":"389-396","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A Novel Dynamic Mathematics System Based on the Internet"],"prefix":"10.1007","author":[{"given":"Yongsheng","family":"Rao","sequence":"first","affiliation":[]},{"given":"Hao","family":"Guan","sequence":"additional","affiliation":[]},{"given":"Ruxian","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Yu","family":"Zuo","sequence":"additional","affiliation":[]},{"given":"Ying","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,14]]},"reference":[{"key":"46_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1142\/9789812776006_0007","volume-title":"Symbolic Computation and Education","author":"JING-ZHONG ZHANG","year":"2007","unstructured":"Zhang, J., Xiong, H., Peng, X.: Free software SSP for teaching mathematics. In: Symbolic Computation and Education, pp. 115\u2013135 (2014)"},{"key":"46_CR2","unstructured":"The Geometer\u2019s Sketchpad. http:\/\/www.dynamicgeometry.com"},{"key":"46_CR3","unstructured":"Cabri. http:\/\/www.cabri.com"},{"key":"46_CR4","doi-asserted-by":"crossref","unstructured":"Richter-Gebert, J., Kortenkamp, U.: The interactive geometry software Cinderella 2. Am. Math. Mon. 107(8) (1999)","DOI":"10.2307\/2695493"},{"key":"46_CR5","unstructured":"GeoGebra. http:\/\/www.geogebra.org"},{"key":"46_CR6","unstructured":"Super Sketchpad. http:\/\/ssp.gzhu.edu.cn"},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"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\u2013550 (2017)","DOI":"10.1109\/CIAPP.2017.8167277"},{"issue":"8","key":"46_CR8","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1109\/TC.1976.1674696","volume":"25","author":"JD McCharen","year":"1976","unstructured":"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\u2013782 (1976)","journal-title":"IEEE Trans. Comput."},{"issue":"5","key":"46_CR9","first-page":"380","volume":"18","author":"L Jingzhong Zhang","year":"1995","unstructured":"Jingzhong Zhang, L., Yang, X.G., Chou, S.: Automated generation of readable proofs in geometry. Chin. J. Comput. 18(5), 380\u2013394 (1995)","journal-title":"Chin. J. Comput."},{"issue":"10","key":"46_CR10","first-page":"722","volume":"19","author":"J Zhang","year":"1996","unstructured":"Zhang, J., Gao, X., Chou, S.: The geometry information search system by forward reasoning. Chin. J. Comput. 19(10), 722\u2013727 (1996)","journal-title":"Chin. J. Comput."},{"key":"46_CR11","volume-title":"Geometric Invariant Methods of Geometric Theorem Proving","author":"J Zhang","year":"2015","unstructured":"Zhang, J., Gao, X., Chou, S.: Geometric Invariant Methods of Geometric Theorem Proving. The Science Publishing Company, Beijing (2015)"},{"key":"46_CR12","unstructured":"SharePoint Add-ins. https:\/\/docs.microsoft.com\/en-us\/sharepoint\/dev\/sp-add-ins\/sharepoint-add-ins"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96418-8_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T15:36:13Z","timestamp":1571585773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96418-8_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319964171","9783319964188"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96418-8_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}