Math

Recommendations

• Math Advance

• Apply for Math Advance’s Fall 2023 course

• My advice

• Mock Contests

  A list of mock contests that I’ve written for and mock contests that I personally recommend.

• OTIS

  Evan Chen’s olympiad program, which recently has had an RPG component added to it! I’ve taken many pages out of his book for MAST.

Reflections

• Contest Report for Summer MAT 2022 (TeX)

• Contest Report for Summer MAT 2021 (TeX)

  A report on the first year of the MAT, which ran online.

Notes

Linear Algebra

I am much more partial to edition 2 than edition 3 of Axler for some reason. Perhaps it is because it feels more concise, or there is less wanton “put everything in a box” formatting. But either way, anything that relies on Axler will be referencing ed. 2, not ed. 3.

• Linear Algebra, in a nutshell
• Additional exercises to Linear Algebra Done Right, ed. 2

Formal Logic

Mostly based on CMU’s 21-300 Basic Logic course.

• Inductive Structures
• Unique Readability

Miscellaneous

• A proof of the Principle of Inclusion-Exclusion

  These are notes from my Fall 2023 AIME class that I decided to publicly share.