Construction of proof of the Fundamental Theorem of Calculus using dynamic mathematics software in the calculus classroom.
Yilmaz ZenginPublished in: Educ. Inf. Technol. (2022)
Keyphrases
- computer algebra
- automated theorem proving
- natural deduction
- dynamic environments
- sequent calculus
- proof procedure
- theorem prover
- provably correct
- collaborative learning
- software engineering
- computer science
- proof search
- cut elimination
- linear logic
- middle school students
- inference rules
- learning experience
- software systems
- computer systems