Sam Sungho Park

icon location Fourth year studying mathematics at Princeton University. Interested in anything that has to do with topology, mathematical logic, and formal verification.

Results 1 issues of Sam Sungho Park

[draft] Polynomial

8 comment

This draft pull request introduces a new way to represent a polynomial over commutative ring -- as a vector over the commutative ring -- and a proof that polynomials themselves...