Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover.
Bernhard StögerKlaus MiesenbergerWalther NeuperMakarius WenzelThomas NeumayrPublished in: ICCHP-AAATE (1) (2022)
Keyphrases
- theorem prover
- mathematical knowledge
- learning environment
- computer algebra
- computer algebra systems
- theorem proving
- first order logic
- term rewriting
- automated reasoning
- inference rules
- automated theorem proving
- higher order logic
- proof planning
- learning systems
- formal proof
- natural deduction
- timed automata
- learning activities
- e learning
- learning process
- collaborative inquiry learning
- proof search
- active learning
- predicate calculus
- formal semantics
- evolutionary algorithm
- multimedia