YijunYuan
Follow
-
-
-
overleaf-sync Public
Forked from zzjjzzgggg/overleaf-syncOverleaf Two-Way Synchronization
Python MIT License UpdatedMay 29, 2024 -
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedMay 2, 2024 -
-
IwasawaThesis Public archive
Iwasawa理论课程期末大作业
TeX Creative Commons Zero v1.0 Universal UpdatedJan 14, 2024 -
-
diagmat Public
A latex package to generate (anti-)diagonal matrices easily.
-
-
AutoTurnOnHotspot Public
Turn on Mobile Hotspot of Windows 10 when logging in
-
-
-
RSAChallenge Public
A RSA number factorizing program with random trial division.
-
-
-
poly_class Public archive
A C++ template class for polynomial with no data redundancy
C++ UpdatedFeb 19, 2015 -
-
AKS_Berrizbeitia_NTL Public archive
This is the Berrizbeitia improved version of AKS
C++ UpdatedApr 20, 2014 -