Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I am also a blogger at cnblogs.com, https://cnblogs.com/yhm138
Familiar with Enumerative Combinatorics
AI for Math Resources (VERY COMPREHENSIVE) Google Doc link.
Sage Online WorkSheet Upload ipynb, Kernel choose SageMath
SageMath
Sage built-in RSK algorithm implementation DOCUMENTATION
Hall's Marriage Theorem in Lean code
Does there exist a complete implementation of the Risch algorithm?
Why are powers of $\exp(\pi\sqrt{163})$ almost integers?
Geometric interpretation of trace
Intuitively, what does a graph Laplacian represent?
This user hasn’t posted yet.
