zhang-liu-official

Pinned Repositories

colouring
using graph colouring to make timetables
Language:Jupyter Notebook10
Coq-Code
Language:Coq0 1 00
Hybrid-Analytical-Numerical-Integration
Language:Jupyter Notebook0 1 00
Numerical-exponential-polynomials
Language:HTML0 1 00
project3-pinn-test
Language:Python0 1 00
SHTOOLS
SHTOOLS - Spherical Harmonic Tools
Language:Fortran0 0 00
the-panini-machine
A culmination of my intellectual curiosities, intuitions, and endeavors thus far, featuring Mathematical Logic, Computer Science, Statistics, Linguistics, Sanskrit, and Global Antiquity.
Language:TeX0 0 00

zhang-liu-official's Repositories

zhang-liu-official/Coq-Code
Language:Coq0 1 00
zhang-liu-official/Hybrid-Analytical-Numerical-Integration
Language:Jupyter Notebook0 1 00
zhang-liu-official/Numerical-exponential-polynomials
Language:HTML0 1 00
zhang-liu-official/project3-pinn-test
Language:Python0 1 00
zhang-liu-official/SHTOOLS
SHTOOLS - Spherical Harmonic Tools
Language:Fortran0 0 00
zhang-liu-official/the-panini-machine
A culmination of my intellectual curiosities, intuitions, and endeavors thus far, featuring Mathematical Logic, Computer Science, Statistics, Linguistics, Sanskrit, and Global Antiquity.
Language:TeX0 0 00