Machine Solving on Hypergeometric Distribution Problems
暂无分享,去创建一个
[1] W. Kintsch. Learning From Text , 1986, Knowing, Learning, and Instruction.
[2] Ma Yu-hui. The De-composability and Representation of Strategies Used in Auto-Solving System of Primary School Mathematic Word Problems , 2010 .
[3] Luke S. Zettlemoyer,et al. Learning to Automatically Solve Algebra Word Problems , 2014, ACL.
[4] Xiao-Shan Gao,et al. Automated production of traditional proofs for theorems in Euclidean geometry I. The Hilbert intersection point theorems , 1995, Annals of Mathematics and Artificial Intelligence.
[5] Thies Pfeiffer,et al. Modeling Math Word Problems with Augmented Semantic Networks , 2012, NLDB.
[6] Oren Etzioni,et al. Learning to Solve Arithmetic Word Problems with Verb Categorization , 2014, EMNLP.
[7] W Kintsch,et al. Understanding and solving word arithmetic problems. , 1985, Psychological review.
[8] Daniel G. Bobrow,et al. Natural Language Input for a Computer Problem Solving System , 1964 .
[9] Denise Dellarosa. A computer simulation of children’s arithmetic word-problem solving , 1986 .
[10] W. Wu. ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY , 2008 .