cybcatppuccino / AlgebraicBasicConceptsLinks
代数基本观念
☆15Updated 4 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 7 months ago
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆448Updated last week
- ☆182Updated last year
- Introduction to Modular Forms: A Chinese textbook about modular forms☆74Updated last month
- Methods in Algebra (Volume 2): A Chinese textbook on Algebra☆21Updated last week
- A transpiler that converts TeX into Unicode (as possible).☆19Updated last month
- ntype cafe summer school resources☆140Updated last year
- Project Asteria: A Naïve Introductory to Advanced Mathematics and Theoretical Physics for Gaokao Students☆46Updated 3 years ago
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆25Updated last week
- ☆49Updated last year
- Here is a part of notes of the mathematics classes of CFMATH/in USTC during my undergraduate period.☆14Updated last year
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067☆101Updated last year
- C++-Animation-(Standard-Template-Library)-Engine,or CASTLE for short,is a C++ plotting and animation engine created by BiliBili uploader …☆11Updated 4 years ago
- This is the latest version of textbook《大数理论》(Googology).☆51Updated this week
- 史济怀复变函数LaTeX重排☆163Updated 3 months ago
- TeX Live with MSVC☆15Updated 3 months ago
- VSCode extension for bTeX.☆21Updated last year
- Download all GTMs by the scripts☆65Updated 6 years ago
- History of type theory (Chinese).☆347Updated last month
- 算法竞赛中的数论 – 系列课件☆93Updated last year
- Simple enough but expressive template for notes, reports, and documents for Typst.☆26Updated last month
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆31Updated last year
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- Lean 函数式编程☆36Updated last week
- Homepage of the Lean-zh website.☆35Updated last month
- Yanqi Lake Lectures on Algebra, Part III☆49Updated 5 months ago
- Lean 定理证明☆16Updated 3 weeks ago
- 单纯群精华信息汇总☆15Updated 7 months ago
- Visualizing the network of math theories.☆551Updated last year
- 语言学竞赛集成 / Collection on Linguistics Olympiad (Chinese version only)☆22Updated 8 months ago