florian-rabe / TeachingLinks
My lecture notes and other course materials
☆40Updated 2 months ago
Alternatives and similar repositories for Teaching
Users that are interested in Teaching are comparing it to the libraries listed below
Sorting:
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated 2 years ago
- Lecture notes from Cambridge maths☆70Updated last year
- EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).☆170Updated 3 years ago
- List of resources for learning Category Theory☆268Updated 9 months ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- A series of introductory instructional python notebooks, for computational number theory.☆16Updated 7 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- List of papers and other resources at the intersection of Category Theory and NLP.☆54Updated 2 years 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 last year
- A list of resources that cross the disciplines of Computer Science and Philosophy☆89Updated 5 months ago
- Info on resources for studying math, stats, CS, etc.☆212Updated 2 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- Lecture notes of the course Analysis On Manifolds☆21Updated 7 months ago
- Sources for "Applied Category Theory for Engineering"☆33Updated 2 weeks ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆67Updated last year
- Basic Analysis, undergraduate real analysis textbook☆80Updated 3 weeks ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆37Updated last year
- A Python package for automata theory.☆56Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 9 months ago
- Readings on computational logic, interactive theorem proving and functional programming.☆80Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆75Updated 2 years ago
- Let's translate works of Grothendieck☆27Updated 6 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated last month
- A list of resources on how/why to do a PhD☆364Updated 5 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆261Updated 2 weeks ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆83Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆57Updated 6 months ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆75Updated last month