Brandon Rozek

Photo of Brandon Rozek

PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.

Here you'll find 6 posts about Math .

May, 2022

Most Common Mistake in Induction Proofs

December, 2019

Groups Simplified

October, 2019

Useful Abstract Definitions

May, 2019

Symmetric Groups in Python

Real Analysis Sequences in Haskell

March, 2017

Monte Carlo Pi