narodnik / abstract-algebra-pinter-solutions
Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
☆43Updated last year
Related projects ⓘ
Alternatives and complementary repositories for abstract-algebra-pinter-solutions
- math notes under one roof☆18Updated last month
- The user home repository for the Mathematics in Lean tutorial.☆270Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆206Updated 2 weeks ago
- Solution to Algebra, Chapter 0☆87Updated 8 months ago
- Riemann Hypothesis in Lean☆39Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- "A First Course in Linear Algebra" open source textbook☆66Updated last month
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- 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
- Haskell implementation of open games☆147Updated 2 weeks ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆156Updated 8 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆292Updated 8 months ago
- A library of recreational mathematics and number theory related functions inspired by Project Euler☆17Updated 9 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆107Updated last year
- Source files for https://web.evanchen.cc☆43Updated last week
- Public repository for Abstact Algebra Theory and Applications☆160Updated 3 months ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆40Updated 4 months ago
- Library for Polynomial System Solving through Algebraic Methods☆96Updated last month
- Source code for lecture notes☆138Updated 3 months ago
- Notes from the 278 semester class at Harvard☆17Updated 8 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆127Updated 3 months ago
- Lean Library currently studying for a degree at Imperial College☆228Updated last year
- A gamification of the theorems in MATH40002 Analysis 1☆79Updated last year
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated 2 months ago
- A visualization of key structures in abstract algebra.☆154Updated 4 years ago
- DRAT proof processor☆13Updated last year
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- Let's translate works of Grothendieck☆24Updated 5 years ago