Algebraic circuit lower bounds

2026-04-10: Introduced the computational model, substitution method (own notes), degree bound (Section 6.1.1 in Ramprasad's notes)

2026-04-17: Baur-Strassen Theorem, Kalorkoti lower bound for determinant (Sections 6.1.2, 6.2)