cybcatppuccino / AlgebraicBasicConceptsLinks
代数基本观念
☆15Updated 8 months ago
Alternatives and similar repositories for AlgebraicBasicConcepts
Users that are interested in AlgebraicBasicConcepts are comparing it to the libraries listed below
Sorting:
- notes on topos theory (Chinese)☆13Updated last year
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆17Updated 4 years ago
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆476Updated 3 weeks ago
- ☆202Updated last year
- ☆52Updated last year
- Introduction to Modular Forms: A Chinese textbook about modular forms☆79Updated 3 weeks ago
- VSCode extension for bTeX.☆20Updated 2 years ago
- Project Asteria: A Naïve Introductory to Advanced Mathematics and Theoretical Physics for Gaokao Students☆46Updated 4 years ago
- A transpiler that converts TeX into Unicode (as possible).☆20Updated 5 months ago
- ☆27Updated 6 months ago
- Methods in Algebra (Volume 2): A Chinese textbook on Algebra☆33Updated 3 weeks ago
- Yanqi Lake Lectures on Algebra, Part III☆54Updated last week
- 史济怀复变函数LaTeX重排☆166Updated 8 months ago
- ntype cafe summer school resources☆143Updated last year
- Contains Latex document: All solutions to M.A. Armstrong's "Basic Topology"☆12Updated 2 years ago
- Repository for the Stacks Project☆973Updated 3 weeks ago
- Solution to Algebra, Chapter 0☆97Updated this week
- TeX Live with MSVC☆15Updated 3 months ago
- History of type theory (Chinese).☆355Updated 6 months ago
- Lean 函数式编程☆39Updated 2 months ago
- Download all GTMs by the scripts☆77Updated 6 years ago
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆35Updated last year
- xm 集训队☆29Updated 5 years ago
- This is the latest version of textbook《大数理论》(Googology).☆70Updated 2 months ago
- ☆39Updated 3 weeks ago
- Visualizing the network of math theories.☆589Updated last year
- A LaTeX package for typesetting differential operators☆26Updated 2 years ago
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆30Updated last week
- Lean 定理证明☆21Updated 2 months ago
- 原ElegantBook魔改版/gorgeousnbook书籍模板更新版☆79Updated 3 months ago