An application of knowledge-base technology in education: a geometry theorem prover.
Mirsad HadzikadicFranz LichtenbergerDavid Y. Y. YunPublished in: SYMSAC (1986)
Keyphrases
- theorem prover
- knowledge base
- st century
- first order logic
- inference rules
- theorem proving
- term rewriting
- computer algebra
- formal proof
- automated theorem proving
- natural deduction
- educational institutions
- information and communication technologies
- engineering education
- technology integration
- formal semantics
- distance learning
- innovative ways
- e learning
- knowledge society
- digital divide
- boolean algebra
- simulated annealing
- web based education
- timed automata
- physical education
- knowledge representation
- mathematical knowledge
- expert systems
- primary school
- digital technologies
- teacher education
- description logics