bollu / notesLinks
Latex notes on papers, courses, ideas: Pure math and computer science.
☆61Updated last year
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆21Updated 3 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Short essays I've written☆78Updated last year
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- An interactive theorem prover for string diagrams☆115Updated 7 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Code dump, for now☆24Updated 2 years ago
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆57Updated 7 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated 2 years ago
- A visualization of key structures in abstract algebra.☆155Updated 5 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 3 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- The simple essence of automatic differentiation☆200Updated 4 years ago
- Theorem proving in Lean☆49Updated 7 months ago
- Lecture notes from Cambridge maths☆69Updated last year
- Haskell bindings to SymEngine☆25Updated last year
- Building group theory from scratch in Lean☆60Updated 4 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 6 years ago
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- An encyclopedia of proofs☆60Updated 6 months ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- The theory of groups☆77Updated last year
- Effective Algebraic Topology in Haskell☆91Updated 8 months ago
- The Complex Number Game. Make the complex numbers in Lean.☆39Updated 2 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆82Updated last year
- Lean Library currently studying for a degree at Imperial College☆226Updated 3 months ago