cybcatppuccino / AlgebraicBasicConcepts
代数基本观念
☆13Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for AlgebraicBasicConcepts
- ☆19Updated last week
- Automatic sum of square representation calculator. Symbolic SOStool with graphic user interface.☆19Updated this week
- Introduction to Modular Forms: A Chinese textbook about modular forms☆69Updated last month
- TeX Live with MSVC☆13Updated 3 weeks ago
- A transpiler that converts TeX into Unicode (as possible).☆18Updated 2 weeks ago
- ☆152Updated 7 months ago
- ☆45Updated 9 months ago
- ntype cafe summer school resources☆137Updated 5 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆21Updated 8 months ago
- VSCode extension for bTeX.☆20Updated 11 months ago
- Coq集合论中文教程☆43Updated 2 years ago
- C++-Animation-(Standard-Template-Library)-Engine,or CASTLE for short,is a C++ plotting and animation engine created by BiliBili uploader …☆11Updated 3 years ago
- Here is a part of notes of the mathematics classes of CFMATH/in USTC during my undergraduate period.☆12Updated 4 months ago
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆392Updated 3 weeks ago
- Lean 函数式编程☆26Updated 3 months ago
- Solution to Algebra, Chapter 0☆87Updated 8 months ago
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067☆96Updated last year
- Formalizing Euclidean Geometry in Lean☆27Updated 8 months ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- Some experimental Typst files.☆14Updated last year
- 史济怀复变函数LaTeX重排☆148Updated 2 months ago
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆26Updated 5 months ago
- 数学笔记☆37Updated this week
- Lean 定理证明☆10Updated last month
- This is the latest version of textbook《大数理论》(Googology).☆28Updated last week
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆12Updated 3 years ago
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- Project Asteria: A Naïve Introductory to Advanced Mathematics and Theoretical Physics for Gaokao Students☆42Updated 3 years ago