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)