 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2019/digital-systems-linear-algebra-introduction-to-formal-proof/4/b/i/solution

The product

A B

m \times p

, so multiplying it by the

p \times q

C

gives an $m \times q$ matrix. The product

BC

n \times q

, so multiplying it on the left by the

m \times n

A

also gives an $m \times q$ matrix. Both multiplications have matching inner dimensions.

 New to topics? Read the docs here!