~/Math

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

Simplifying the Definition of Algebraic Groups


October, 2019

Useful Abstract Definitions


May, 2019

Symmetric Groups in Python

Real Analysis Sequences in Haskell


March, 2017

Approximate Pi using a Monte Carlo Simulation