Classroom note: An easy bijective proof of the matrix-forest theorem.
Kimmo ErikssonPublished in: Australas. J Comb. (1995)
Keyphrases
- interactive theorem proving
- collaborative learning
- learning activities
- singular value decomposition
- learning environment
- professional development
- singular values
- natural deduction
- pilot study
- elementary school
- middle school
- linear logic
- matrix representation
- student learning
- foreign language
- teacher education
- secondary school