Pinned Repositories
awesome-number-theory
A list of awesome number theory resources
fhe-org.github.io
We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.
grothendieck-kimchi
English translation (in progress) of Alexander Grothendieck's writing on kimchi
KT
Knowledge Tracing Models with PyTorch
lean-poly-abc
Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4
math-notes
TeX-ed notes for personal study
posqmf
Supplementary Sage codes for the paper "Algebraic proof of modular form inequalities for optimal sphere packings"
seewoo5.github.io
https://seewoo5.github.io/
seewoo5's Repositories
seewoo5/KT
Knowledge Tracing Models with PyTorch
seewoo5/awesome-number-theory
A list of awesome number theory resources
seewoo5/lean-poly-abc
Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4
seewoo5/posqmf
Supplementary Sage codes for the paper "Algebraic proof of modular form inequalities for optimal sphere packings"
seewoo5/math-notes
TeX-ed notes for personal study
seewoo5/seewoo5.github.io
https://seewoo5.github.io/
seewoo5/fhe-org.github.io
We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.
seewoo5/grothendieck-kimchi
English translation (in progress) of Alexander Grothendieck's writing on kimchi
seewoo5/sage
Main repository of SageMath. Now open for Issues and Pull Requests.
seewoo5/seewoo5
seewoo5/sage-bhargava-cube
SageMath implementation of Bhargava's cube
seewoo5/sage-quantum-modform
Sage codes for computations related to quantum modular forms