Research and Development

Category: Mathematics

Neurosymbolic Learning and Reasoning

  1. Introduction
  2. Logic
  3. Mathematics
  4. Argumentation
  5. Fibring
  6. Modularity

Artificial Intelligence and Mathematics

  1. Introduction
  2. Knowledge Representation and Reasoning
  3. Theorem Proving

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

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

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


  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. Behavior
  17. Prediction
  18. Parallelism
  19. Temporal Reasoning
  20. Complex Adaptive Systems
  21. Abstraction
  22. Idealization
  23. Ontology
  24. Mathematics
  25. Science
  26. Engineering
  27. Computer-aided Engineering and Simulation