Research and Development

Category: Mathematics

Artificial Intelligence and Theorem Proving

  1. Introduction

The Assessment of Language and the Evaluation of Natural Language Generation

  1. Assessing Mathematics Exercises and Proofs
  2. Assessing Essays and Open-ended Verbal Responses
  3. Assessing and Assisting Writing
  4. Assessing Argumentation
  5. Evaluating Natural Language Generation

Language and Mathematics

  1. Language and Mathematics Education
  2. Language and Mathematics Tutoring
  3. Written Mathematical Language
  4. Symbolic Declarations, Linguistic Precedents, Lexical Entrainment and Differentiation
  5. Vocabulary Learning and Mathematical Vocabulary Learning
  6. Understanding Mathematical Expressions
  7. Context and the Understanding of Mathematical Language
  8. Text Inferencing and Reading Comprehension
  9. Generating Natural Language from Mathematics
  10. Natural Language Generation Macroplanning and Mathematics
  11. Generating Referring Expressions
  12. Lexical Selection
  13. Generating Mathematical Expressions for Inferencing and Presentation

Mathematics Educational Technology and Multimodal User Interfaces

  1. Multimodal Input and Mathematics
  2. Mathematical Sketches and Diagrams
  3. Multimodal Input, Note-taking and Context

Planning and Generating Sequences of Exercises for the Assessment and Development of Mathematical Knowledge and Proficiency

  1. Teaching Problem Solving Skills
  2. Generating Mathematical Examples
  3. Transitioning from Studying Examples to Problem Solving Exercises
  4. Generating Mathematical Exercises and Sequences of Exercises
  5. The Aesthetic Properties of Mathematical Exercises
  6. Generalizing, Comparing and Selecting Strategies
  7. Analogical Reasoning, Priming and Context
  8. Sequences of Exercises and Context
  9. Multitasking and Task Switching
  10. Mathematical Discovery
  11. The Phenomenological Aesthetics of Mathematical Thought, Reasoning and of Proof, Pertinent to the Enjoyment of Mathematical Exercises
  12. Motivation and Affect during Problem Solving Activities
  13. The Automatic Assessment of Mathematical Exercises
  14. Modeling Students and Student Problem Solving

Mathematical Creativity, Analogical Reasoning and Visualization

  1. Mathematical Creativity
  2. Mathematical Metaphor, Analogy and Blending
  3. Mathematical Visualization

Intelligent Tutoring Systems and Mathematics

  1. Mathematics
  2. The Cognitive Neuroscience of Mathematical Reasoning
  3. Conceptual Knowledge
  4. Procedural Knowledge
  5. Teaching Problem Solving Skills
  6. Mathematical Proof
  7. Natural Language Generation
  8. Natural Language Understanding
  9. Pragmatics
  10. The Automatic Assessment of Mathematics Exercises and Proofs


  1. Explanation
  2. Education
  3. Generating Explanations
  4. Understanding Explanations
  5. Questions and Answers
  6. Diagrams
  7. Conceptual Models
  8. Mechanistic Reasoning
  9. Identity
  10. Mereology
  11. Teleology
  12. Spatial Reasoning
  13. Events
  14. Signals
  15. Causation
  16. Prediction
  17. Parallelism
  18. Temporal Reasoning
  19. Complex Adaptive Systems
  20. Abstraction
  21. Idealization
  22. Ontology
  23. Mathematics
  24. Science
  25. Engineering
  26. Computer-aided Engineering and Simulation