RWUSTC
Hefeng Xu here, undergraduate at University of Science and Technology of China. hep-th/math-ph/math.AG
HEP-TH@USTC / FB Mathematik@RPTU-KL
Pinned Repositories
USTC_tales_of_SCGY
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Computational-Physics
Physics
darknmt.github.io
Personal Website
Fiesta5_installation_note
finiteflow
Multivariate functional reconstruction using finite fields and dataflow graphs.
IBP_RED_via_DMODULE
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
lolipop
NeatIBP-Spack
Spack package for NeatIBP
RWUSTC's Repositories
RWUSTC/USTC_tales_of_SCGY
RWUSTC/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
RWUSTC/Computational-Physics
Physics
RWUSTC/darknmt.github.io
Personal Website
RWUSTC/Fiesta5_installation_note
RWUSTC/finiteflow
Multivariate functional reconstruction using finite fields and dataflow graphs.
RWUSTC/IBP_RED_via_DMODULE
RWUSTC/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
RWUSTC/lolipop
RWUSTC/NeatIBP-Spack
Spack package for NeatIBP
RWUSTC/ParaBuchberger
test repo for parabuchberger
RWUSTC/pfd-parallel
test for installation
RWUSTC/RW-s-Sparse-Matrix-RREF
Embedded Mathematica Interface for Sparse Matrices Reduction with SpaSM
RWUSTC/RWUSTC.github.io
Homepage for Hefeng Xu, USTC
RWUSTC/Singular
sources for the Singular computer algebra system
RWUSTC/spack-packages
RWUSTC/spasm
a Sparse Direct Solver modulo p
RWUSTC/URC-ncov-AutoReport
**滑稽大学健康打卡平台自动打卡脚本
RWUSTC/USTC-Health-Report
中科大自动健康上报，邮件提醒，自动联网脚本