seewoo5

Seewoo Lee's repositories

Knowledge Tracing Models with PyTorch

Language:Python86 5 8

A list of awesome number theory resources

Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4

Language:Lean800

Supplementary Sage codes for the paper "Algebraic proof of modular form inequalities for optimal sphere packings"

Language:Jupyter Notebook400

TeX-ed notes for personal study

Language:TeX100

https://seewoo5.github.io/

Language:HTML100

We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.

Language:CSS000

English translation (in progress) of Alexander Grothendieck's writing on kimchi

Language:HTML000

Main repository of SageMath. Now open for Issues and Pull Requests.

Language:PythonNOASSERTION000

000

SageMath implementation of Bhargava's cube

Language:Jupyter Notebook000