A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools.
Joana TelesVanda SantosPedro QuaresmaPublished in: CoRR (2023)
Keyphrases
- theorem prover
- secondary school
- theorem proving
- hong kong
- automated theorem proving
- formal proof
- term rewriting
- first order logic
- natural deduction
- expert systems
- adaptive hypermedia
- south african
- computer algebra
- proof search
- inference rules
- professional development
- university level
- mathematical knowledge
- boolean algebra
- learning preferences
- software engineering
- artificial intelligence