Author:
Zhang Jiarong,Yuan Jinsha,Guo Hongyu,Zan Xinyu
Publisher
Springer Science and Business Media LLC
Reference36 articles.
1. Bobrow DG (1964) Natural language input for a computer problem solving system
2. Botana F, Hohenwarter F, Janii P, Kovcs Z, Petrovi I, Recio T, Weitzhofer S (2015) Automated theorem proving in geogebra: Current achievements. Journal of Automated Reasoning 55(1):39–59
3. Chang CL, Lee CT (1973) Symbolic logic and mechanical theorem proving. Academic Press, New York
4. Chiang T-R, Chen Y-N (2018) Semantically-aligned equation generation for solving and reasoning math word problems. arXiv:1811.00720
5. Devlin J, Chang M-W, Lee K, Toutanova K (2018) Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv:1810.04805
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献