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