dcernst / IBL-AbstractAlgebra
IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
☆67Updated last year
Related projects ⓘ
Alternatives and complementary repositories for IBL-AbstractAlgebra
- Building dynamical systems compositionally☆66Updated 3 weeks ago
- A graphical editor for graph-like structures☆96Updated 11 months ago
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆24Updated 2 years ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Build Petri net models compositionally☆76Updated 3 weeks ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated 10 months ago
- multilingual dictionary of mathematical terminology☆19Updated 2 weeks ago
- ☆49Updated 2 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- Basic Analysis, undergraduate real analysis textbook☆61Updated 3 weeks ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Lean for the Curious Mathematician 2020☆63Updated last year
- Notes on Diffy Qs, a textbook for differential equations☆59Updated this week
- ☆85Updated last year
- Tensor algebra abstract type interoperability setup☆43Updated this week
- An efficient symbolic term rewriting engine☆77Updated 3 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆49Updated 9 months ago
- ☆109Updated 4 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- CAP project -- Categories, Algorithms, and Programming☆24Updated last week
- Listing of online math seminars☆41Updated 2 months ago
- Deposited packages of the homalg project☆12Updated last week
- A community database of topological counterexamples☆72Updated this week
- An interactive theorem prover for string diagrams☆108Updated 3 weeks ago