SimplicialCat / Simplicial_GroupLinks
单纯群精华信息汇总
☆20Updated last year
Alternatives and similar repositories for Simplicial_Group
Users that are interested in Simplicial_Group are comparing it to the libraries listed below
Sorting:
- Introduction to Modular Forms: A Chinese textbook about modular forms☆79Updated 2 months ago
- VSCode extension for bTeX.☆20Updated 2 years ago
- ☆52Updated last year
- ☆207Updated last year
- A transpiler that converts TeX into Unicode (as possible).☆20Updated 2 weeks ago
- Lean 形式化数学☆17Updated last month
- Solution to Algebra, Chapter 0☆100Updated last month
- Lean4中文教程☆35Updated last year
- Homepage of the Lean-zh website.☆54Updated last month
- Lean 定 理证明☆23Updated last month
- notes on topos theory (Chinese)☆14Updated last year
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆493Updated 2 months ago
- 代数基本观念☆15Updated 11 months ago
- Yanqi Lake Lectures on Algebra, Part III☆54Updated 2 weeks ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Updated last year
- Here is a part of notes of the mathematics classes of CFMATH/in USTC during my undergraduate period.☆16Updated last month
- 史济怀复变函数LaTeX重排☆168Updated 10 months ago
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆36Updated last year
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆31Updated this week
- Coq集合论中文教程☆46Updated 4 years ago
- ntype cafe summer school resources☆146Updated last year
- ☆28Updated 8 months ago
- 非常的新鲜，非常的美味☆32Updated 10 months ago
- Methods in Algebra (Volume 2): A Chinese textbook on Algebra☆37Updated 3 weeks ago
- History of type theory (Chinese).☆359Updated 8 months ago
- LaTeX document class for writing pretty notes☆113Updated 2 years ago
- 小时百科☆88Updated 5 months ago
- A LaTeX package for typesetting differential operators☆26Updated 2 years ago
- Mathematica Theory of Computer Algebra System☆121Updated 10 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 2 years ago