Expert systems for experts
Inferential memory as the basis of machines which understand natural language
Computers & thought
A cognitive-apprenticeship-based environment for learning word problem solving
Journal of Computers in Mathematics and Science Teaching
Journal of Computers in Mathematics and Science Teaching
Natural language question-answering systems: 1969
Communications of the ACM
Transition network grammars for natural language analysis
Communications of the ACM
Experiments with a deductive question-answering program
Communications of the ACM
Understanding Natural Language
Understanding Natural Language
Solving Symbolic Equations with PRESS
EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
A 3-Tier Planning Architecture for Managing Tutorial Dialogue
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
The Use of Explicit Plans to Guide Inductive Proofs
Proceedings of the 9th International Conference on Automated Deduction
A Science of Reasoning: Extended Abstract
Proceedings of the 10th International Conference on Automated Deduction
Programming in natural language: “NLC” as a prototype
ACM '79 Proceedings of the 1979 annual conference
CARPS, A PROGRAM WHICH SOLVES CALCULUS WORD PROBLEMS
CARPS, A PROGRAM WHICH SOLVES CALCULUS WORD PROBLEMS
Qualitative and Quantitative Knowledge in Classical Mechanics
Qualitative and Quantitative Knowledge in Classical Mechanics
The computer solution of english probability problems
The computer solution of english probability problems
Computer understanding of physics problems stated in natural language.
Computer understanding of physics problems stated in natural language.
Toward natural language computation
Computational Linguistics
Interactive natural language problem solving: a pragmatic approach
ANLC '83 Proceedings of the first conference on Applied natural language processing
Computer-assisted learning for mathematical problem solving
Computers & Education
PAT goes to college: evaluating a cognitive tutor for developmental mathematics
ICLS '96 Proceedings of the 1996 international conference on Learning sciences
On construction of a GeometryNet
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Verification of Proof Steps for Tutoring Mathematical Proofs
Proceedings of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work
Natural language dialog with a tutor system for mathematical proofs
Proceedings of the 2005 joint Chinese-German conference on Cognitive systems
A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Can modern statistical parsers lead to better natural language understanding for education?
CICLing'12 Proceedings of the 13th international conference on Computational Linguistics and Intelligent Text Processing - Volume Part I
Modeling math word problems with augmented semantic networks
NLDB'12 Proceedings of the 17th international conference on Applications of Natural Language Processing and Information Systems
Hi-index | 0.00 |
This article addresses the problem of understanding mathematics described in natural language. Research in this area dates back to early 1960s. Several systems have so far been proposed to involve machines to solve mathematical problems of various domains like algebra, geometry, physics, mechanics, etc. This correspondence provides a state of the art technical review of these systems and approaches proposed by different research groups. A unified architecture that has been used in most of these approaches is identified and differences among the systems are highlighted. Significant achievements of each method are pointed out. Major strengths and weaknesses of the approaches are also discussed. Finally, present efforts and future trends in this research area are presented.