Nicholas42 / AlgebraFranke
Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for AlgebraFranke
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆12Updated 2 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆21Updated 8 months ago
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- Solution to Algebra, Chapter 0☆87Updated 8 months ago
- LaTeX version of Grothendieck's Pursuing Stacks☆46Updated 3 years ago
- 代数基本观念☆13Updated 2 months ago
- Lean 4 tutorial files☆30Updated 6 months ago
- ☆19Updated last week
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆35Updated last year
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆26Updated 5 months ago
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- The user home repository for the Mathematics in Lean tutorial.☆270Updated last week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆128Updated 3 months ago
- My typed-up math lecture notes☆11Updated 2 years ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Source code for the nLab☆149Updated 2 months ago
- Notes for third year Computing at Imperial College London (incomplete)☆10Updated 5 years ago
- 💧 Liquid Tensor Experiment☆181Updated 9 months ago
- A community database of topological counterexamples☆72Updated this week
- All the math/tex files for the Automorphic Project☆18Updated 6 months ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆69Updated last month
- Theorem Proving in Lean 4☆164Updated last month
- Some Lean tutorials☆181Updated last year
- The matrix cookbook, proved in the Lean theorem prover☆84Updated last month
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆17Updated last month
- lecture notes for Analytic Geometry course☆11Updated 3 years ago