{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:29:05Z","timestamp":1725542945137},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540370338"},{"type":"electronic","value":"9783540370352"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11811220_53","type":"book-chapter","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T08:40:48Z","timestamp":1153730448000},"page":"625-636","source":"Crossref","is-referenced-by-count":2,"title":["NKIMathE \u2013 A Multi-purpose Knowledge Management Environment for Mathematical Concepts"],"prefix":"10.1007","author":[{"given":"Qingtian","family":"Zeng","sequence":"first","affiliation":[]},{"given":"Cungen","family":"Cao","sequence":"additional","affiliation":[]},{"given":"Hua","family":"Duan","sequence":"additional","affiliation":[]},{"given":"Yongquan","family":"Liang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"53_CR1","unstructured":"Zeng, Q., Cao, C., Tian, G., Sui, Y., Liu, H.: Methods for mathematical concept knowledge representation, acquisition and management within NKIMath. In: Second International Conference on Knowledge Economy and Development of Science and Technology, pp. 27\u201335 (2004)"},{"key":"53_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-36469-2_15","volume-title":"Mathematical Knowledge Management","author":"F. Wiedijk","year":"2003","unstructured":"Wiedijk, F.: Comparing mathematical provers. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol.\u00a02594, pp. 188\u2013202. Springer, Heidelberg (2003)"},{"key":"53_CR3","unstructured":"Otter\/Ivy (Website), \n                    \n                      http:\/\/www.mcs.anl.gov\/AR\/otter\/\n                    \n                    \n                  \n                           \n                    \n                      http:\/\/www-.unix.mcs.anl.gov\/mccune\/acl2\/ivy\/"},{"key":"53_CR4","unstructured":"HOL (Website), \n                    \n                      http:\/\/www.cl.cam.ac.uk\/Research\/HVG\/HOL"},{"key":"53_CR5","unstructured":"PVS (Website), \n                    \n                      http:\/\/pvs.csl.sri.com\/"},{"key":"53_CR6","unstructured":"Theorema (Website), \n                    \n                      http:\/\/www.theorem.org\/"},{"key":"53_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-60156-2_3","volume-title":"Integrating Symbolic Mathematical Computation and Artificial Intelligence","author":"K. Homann","year":"1995","unstructured":"Homann, K., Calmet, J.: Combining theorem proving and symbolic mathematical computing. In: Calmet, J., Campbell, J. (eds.) AISMC 1994. LNCS, vol.\u00a0958, pp. 18\u201329. Springer, Heidelberg (1995)"},{"key":"53_CR8","unstructured":"Carlisle, D., Ion, P., Miner, R., Poppelier, N.: Mathematical Markup Language (MathML) version 2.0. W3c recommendation, World Wide Web Consortium (2001), Available at, \n                    \n                      http:\/\/www.w3.org\/TR\/MathML2"},{"key":"53_CR9","unstructured":"Caprotti, O., Cohen, A.M.: Draft of the Open Math standard. The Open Math Society (1998), \n                    \n                      http:\/\/www.nag.co.uk\/projects\/OpenMath\/omstd\/"},{"key":"53_CR10","unstructured":"Kohlhase, M.: OMDoc: An open markup format for mathematical documents (version 1.1) (2001), \n                    \n                      http:\/\/www.mathweb.org\/omdoc\/omdoc.ps"},{"key":"53_CR11","doi-asserted-by":"crossref","unstructured":"Franke, A., Kohlhase, M.: System description: MBASE, an open mathematical knowledge base. In: Conference on Automated Deduction, pp. 455\u2013459 (2000)","DOI":"10.1007\/10721959_36"},{"key":"53_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/3-540-44755-5_6","volume-title":"Theorem Proving in Higher Order Logics","author":"A. Asperti","year":"2001","unstructured":"Asperti, A., Padovani, L., Coen, C.S., Schena, I.: HELM and the semantic math-web. In: Boulton, R.J., Jackson, P.B. (eds.) TPHOLs 2001. LNCS, vol.\u00a02152, pp. 59\u201374. Springer, Heidelberg (2001)"},{"key":"53_CR13","unstructured":"MOWGLI (Website), \n                    \n                      http:\/\/www.mowgli.cs.unibo.it\/"},{"issue":"9","key":"53_CR14","first-page":"19","volume":"20","author":"Q. Zeng","year":"2003","unstructured":"Zeng, Q., Cao, C., Sui, Y., Si, J., Tian, G.: Ontology-based knoweldge acquistion and knowledge inheritance mechanism for mathematics. Microelectronics and Computer\u00a020(9), 19\u201327 (2003)","journal-title":"Microelectronics and Computer"},{"key":"53_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-48229-6_38","volume-title":"Artificial Intelligence in Medicine","author":"C. Cao","year":"2001","unstructured":"Cao, C.: Medical knowledge acquisition from the electronic encyclopedia of china. In: Quaglini, S., Barahona, P., Andreassen, S. (eds.) AIME 2001. LNCS, vol.\u00a02101, pp. 268\u2013271. Springer, Heidelberg (2001)"},{"issue":"5","key":"53_CR16","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/BF02948821","volume":"17","author":"C. Cao","year":"2002","unstructured":"Cao, C., Feng, Q., Gao, Y., Gu, F., Si, J., Sui, Y., Tian, W., Wang, H., Wang, L., Zeng, Q., Zhang, C., Zheng, Y., Zhou, X.: Progress in the development of national knowledge infrastructure. Journal of Computer of Science and Technology\u00a017(5), 523\u2013534 (2002)","journal-title":"Journal of Computer of Science and Technology"},{"issue":"1","key":"53_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.artmed.2004.01.015","volume":"32","author":"C. Cao","year":"2004","unstructured":"Cao, C., Wang, H., Sui, Y.: Knowledge modeling and acquisition of traditional Chinese herbal drugs and formulae from text. Artificial Intelligence in Medicine\u00a032(1), 3\u201313 (2004)","journal-title":"Artificial Intelligence in Medicine"},{"issue":"2","key":"53_CR18","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/BF02944802","volume":"19","author":"F. Gu","year":"2004","unstructured":"Gu, F., Cao, C., Sui, Y.-F., Tian, W.: Domain-specific ontology of botany. Journal of Computer of Science and Technology\u00a019(2), 238\u2013248 (2004)","journal-title":"Journal of Computer of Science and Technology"},{"issue":"3","key":"53_CR19","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/BF02944899","volume":"19","author":"C. Zhang","year":"2004","unstructured":"Zhang, C., Cao, C., Gu, F., Si, J.: Domain-specific formal ontology of archaeology and its application in knowledge acquisition and analysis. Journal of Computer of Science and Technology\u00a019(3), 290\u2013301 (2004)","journal-title":"Journal of Computer of Science and Technology"},{"key":"53_CR20","unstructured":"Zeng, Q.: Research on knowledge acquisition and analysis of mathematical concepts. PhD thesis, Institute of Computing Technology, Chinese Academy of Sciences (2005)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11811220_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:19:17Z","timestamp":1558271957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11811220_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540370338","9783540370352"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11811220_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}