{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T03:13:04Z","timestamp":1772507584802,"version":"3.50.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T00:00:00Z","timestamp":1583193600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T00:00:00Z","timestamp":1583193600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["CCNU19QN036"],"award-info":[{"award-number":["CCNU19QN036"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61977029"],"award-info":[{"award-number":["61977029"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["2019M652678"],"award-info":[{"award-number":["2019M652678"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.1007\/s10489-020-01667-7","type":"journal-article","created":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T12:03:45Z","timestamp":1583237025000},"page":"2293-2309","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["A relation based algorithm for solving direct current circuit problems"],"prefix":"10.1007","volume":"50","author":[{"given":"Bin","family":"He","sequence":"first","affiliation":[]},{"given":"Xinguo","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Pengpeng","family":"Jian","sequence":"additional","affiliation":[]},{"given":"Ting","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,3]]},"reference":[{"key":"1667_CR1","doi-asserted-by":"crossref","unstructured":"Abualigah LM (2019) Feature selection and enhanced krill herd algorithm for text document clustering, Studies in Computational Intelligence, vol 816. Springer International Publishing, Cham","DOI":"10.1007\/978-3-030-10674-4"},{"issue":"11","key":"1667_CR2","doi-asserted-by":"publisher","first-page":"4047","DOI":"10.1007\/s10489-018-1190-6","volume":"48","author":"LM Abualigah","year":"2018","unstructured":"Abualigah LM, Khader AT, Hanandeh ES (2018) Hybrid clustering analysis using improved krill herd algorithm. Appl Intell 48(11):4047\u20134071","journal-title":"Appl Intell"},{"key":"1667_CR3","doi-asserted-by":"crossref","unstructured":"An W, Chen X, Wang D (2016) Searching for geometric theorems using features retrieved from diagrams. In: Kotsireas IS, Rump SM, Yap CK (eds) Mathematical aspects of computer and information sciences. Springer International Publishing, pp 383\u2013397","DOI":"10.1007\/978-3-319-32859-1_33"},{"issue":"9","key":"1667_CR4","doi-asserted-by":"publisher","first-page":"2527","DOI":"10.1007\/s10489-017-1100-3","volume":"48","author":"L Bai","year":"2017","unstructured":"Bai L, Zhu L, Jia W (2017) Determining topological relations of uncertain spatiotemporal data based on counter-clock-wisely directed triangle. Appl Intell 48(9):2527\u20132545","journal-title":"Appl Intell"},{"issue":"2","key":"1667_CR5","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1134\/S1054661817020079","volume":"27","author":"P De","year":"2017","unstructured":"De P, Mandal S, Bhowmick P (2017) Hierarchical vectorization of electrical drawings in document images by connectivity analysis of symbols and super-components. Pattern Recognition and Image Analysis 27(2):309\u2013325","journal-title":"Pattern Recognition and Image Analysis"},{"issue":"7","key":"1667_CR6","doi-asserted-by":"publisher","first-page":"19400032","DOI":"10.1142\/S0218001419400032","volume":"33","author":"W Gan","year":"2019","unstructured":"Gan W, Yu X, Zhang T, Wang M (2019a) Automatically proving plane geometry theorems stated by text and diagram. Int J Pattern Recognit Artif Intell 33(7):19400032","journal-title":"Int J Pattern Recognit Artif Intell"},{"issue":"4","key":"1667_CR7","doi-asserted-by":"publisher","first-page":"1940003","DOI":"10.1142\/S0218213019400037","volume":"28","author":"W Gan","year":"2019","unstructured":"Gan W, Yu X, Wang M (2019b) Automatic understanding and formalization of plane geometry proving problems in natural language: a supervised approach. International Journal on Artificial Intelligence Tools 28(4):1940003","journal-title":"International Journal on Artificial Intelligence Tools"},{"issue":"2","key":"1667_CR8","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s10817-016-9377-1","volume":"58","author":"M Ganesalingam","year":"2017","unstructured":"Ganesalingam M, Gowers WT (2017) A fully automatic theorem prover with human-style output. J Autom Reason 58(2):253\u2013291","journal-title":"J Autom Reason"},{"key":"1667_CR9","doi-asserted-by":"crossref","unstructured":"Huang D, Shi S, Lin CY, Yin J (2017) Learning fine-grained expressions to solve math word problems. In: Proceedings of the 2017 conference on empirical methods in natural language processing. Association for Computational Linguistics, Copenhagen, Denmark, pp 805\u2013814","DOI":"10.18653\/v1\/D17-1084"},{"issue":"7","key":"1667_CR10","doi-asserted-by":"publisher","first-page":"1940004","DOI":"10.1142\/S0218001419400044","volume":"33","author":"P Jian","year":"2019","unstructured":"Jian P, Sun C, Yu X, He B, Xia M (2019) An end-to-end algorithm for solving circuit problems. Int J Pattern Recognit Artif Intell 33(7):1940004","journal-title":"Int J Pattern Recognit Artif Intell"},{"issue":"4","key":"1667_CR11","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1007\/s11424-012-2048-3","volume":"25","author":"J Jiang","year":"2012","unstructured":"Jiang J, Zhang J (2012) A review and prospect of readable machine proofs for geometry theorems. J Syst Sci Complex 25(4):802\u2013820","journal-title":"J Syst Sci Complex"},{"issue":"1","key":"1667_CR12","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/s10489-017-0970-8","volume":"48","author":"S Kalita","year":"2017","unstructured":"Kalita S, Karmakar A, Hazarika SM (2017) Efficient extraction of spatial relations for extended objects vis-\u00e3 -vis human activity recognition in video. Appl Intell 48(1):204\u2013219","journal-title":"Appl Intell"},{"key":"1667_CR13","doi-asserted-by":"crossref","unstructured":"Kushman N, Artzi Y, Zettlemoyer L, Barzilay R (2014) Learning to automatically solve algebra word problems. In: Proceedings of the 52nd annual meeting of the association for computational linguistics vol 1, pp 271\u2013281. Association for Computational Linguistics, Baltimore, Maryland","DOI":"10.3115\/v1\/P14-1026"},{"key":"1667_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-981-10-7590-2_7","volume-title":"Information technology and applied mathematics, advances in intelligent systems and computing","author":"S Mandal","year":"2019","unstructured":"Mandal S, Naskar SK (2019) Solving arithmetic mathematical word problems: a review and recent advancements. In: Chandra P, Giri D, Li F, Kar S, Jana DK (eds) Information technology and applied mathematics, advances in intelligent systems and computing. Springer, Singapore, pp 95\u2013114"},{"issue":"3","key":"1667_CR15","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1109\/TE.2018.2822245","volume":"61","author":"JD Ortega-Alvarez","year":"2018","unstructured":"Ortega-Alvarez JD, Sanchez W, Magana AJ (2018) Exploring undergraduate students\u2019 computational modeling abilities and conceptual understanding of electric circuits. IEEE Trans Educ 61(3):204\u2013213","journal-title":"IEEE Trans Educ"},{"issue":"1","key":"1667_CR16","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/TE.2014.2312674","volume":"58","author":"J Reisslein","year":"2015","unstructured":"Reisslein J, Johnson AM, Reisslein M (2015) Color coding of circuit quantities in introductory circuit analysis instruction. IEEE Trans Educ 58(1):7\u201314","journal-title":"IEEE Trans Educ"},{"key":"1667_CR17","doi-asserted-by":"crossref","unstructured":"Roy S, Roth D (2015) Solving general arithmetic word problems. In: Proceedings of the conference on empirical methods in natural language processing. Association for Computational Linguistics, Lisbon, Portugal, pp 1743\u20131752","DOI":"10.18653\/v1\/D15-1202"},{"key":"1667_CR18","doi-asserted-by":"crossref","unstructured":"Wang Y, Liu X, Shi S (2017) Deep neural solver for math word problems. In: Proceedings of the conference on empirical methods in natural language processing. Association for Computational Linguistics, Copenhagen, Denmark, pp 845\u2013854","DOI":"10.18653\/v1\/D17-1088"},{"key":"1667_CR19","doi-asserted-by":"crossref","unstructured":"Wang L, Wang Y, Cai D, Zhang D, Liu X (2018a) Translating a math word problem to a expression tree. In: Proceedings of the 2018 conference on empirical methods in natural language processing. Association for Computational Linguistics, Brussels, Belgium, pp 1064\u20131069","DOI":"10.18653\/v1\/D18-1132"},{"key":"1667_CR20","doi-asserted-by":"crossref","unstructured":"Wang L, Zhang D, Gao L, Song J, Guo L, Shen HT (2018b) MathDQN: Solving arithmetic word problems via deep reinforcement learning. In: Proceedings of the thirty-second AAAI conference on artificial intelligence, pp 5545\u20135552","DOI":"10.1609\/aaai.v32i1.11981"},{"key":"1667_CR21","doi-asserted-by":"publisher","first-page":"7144","DOI":"10.1609\/aaai.v33i01.33017144","volume":"33","author":"L Wang","year":"2019","unstructured":"Wang L, Zhang D, Zhang J, Xu X, Gao L, Dai B, Shen H (2019) Template-based math word problem solvers with recursive neural networks. Proceedings of the AAAI Conference on Artificial Intelligence 33:7144\u20137151","journal-title":"Proceedings of the AAAI Conference on Artificial Intelligence"},{"key":"1667_CR22","unstructured":"Whitlatch CD, Wang Q, Skromme BJ (2012) Automated problem and solution generation software for computer-aided instruction in elementary linear circuit analysis. In: 119th ASEE annual conference and exposition"},{"key":"1667_CR23","first-page":"159","volume":"21","author":"WT Wu","year":"1978","unstructured":"Wu WT (1978) On the decision problem and the mechanization of theorem-proving in elementary geometry. Sci Sinica 21:159\u2013172","journal-title":"Sci Sinica"},{"key":"1667_CR24","doi-asserted-by":"crossref","unstructured":"Yu X, Jian P, Wang M, Wu S (2016) Extraction of implicit quantity relations for arithmetic word problems in Chinese. In: International conference on educational innovation through technology, pp 242\u2013245","DOI":"10.1109\/EITT.2016.55"},{"issue":"7","key":"1667_CR25","doi-asserted-by":"publisher","first-page":"1940005","DOI":"10.1142\/S0218001419400056","volume":"33","author":"X Yu","year":"2019","unstructured":"Yu X, Wang M, Gan W, He B, Ye N (2019) A framework for solving explicit arithmetic word problems and proving plane geometry theorems. Int J Pattern Recognit Artif Intell 33(7):1940005","journal-title":"Int J Pattern Recognit Artif Intell"},{"key":"1667_CR26","doi-asserted-by":"crossref","unstructured":"Zhang JZ (2000) Points elimination methods for geometric problem solving. Mathematics Mechanization & Applications, pp 175\u2013204","DOI":"10.1016\/B978-012734760-8\/50008-9"},{"key":"1667_CR27","doi-asserted-by":"crossref","unstructured":"Zhang HP, Liu Q, Cheng XQ, Zhang H, Yu HK (2003) Chinese lexical analysis using hierarchical hidden markov model. In: Proceedings of the second SIGHAN workshop on Chinese language processing vol 17, pp 63\u201370. Association for Computational Linguistics, Sapporo, Japan","DOI":"10.3115\/1119250.1119259"},{"key":"1667_CR28","doi-asserted-by":"crossref","unstructured":"Zhang D, Wang L, Zhang L, Dai BT, Shen HT (2019) The gap of semantic parsing: a survey on automatic math word problem solvers. IEEE Trans Pattern Anal Mach Intell 1\u20131","DOI":"10.1109\/TPAMI.2019.2914054"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-020-01667-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-020-01667-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-020-01667-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T01:03:00Z","timestamp":1695862980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-020-01667-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,3]]},"references-count":28,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2020,7]]}},"alternative-id":["1667"],"URL":"https:\/\/doi.org\/10.1007\/s10489-020-01667-7","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,3]]},"assertion":[{"value":"3 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}