ak2316-cam / tripos-lecture-notes
My collection of handouts and lecture notes (finished and unfinished)
☆10Updated last year
Alternatives and similar repositories for tripos-lecture-notes:
Users that are interested in tripos-lecture-notes are comparing it to the libraries listed below
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Lecture notes from Cambridge maths☆65Updated last year
- Lecture notes of the course Analysis On Manifolds☆20Updated last month
- ☆95Updated 3 weeks ago
- ☆17Updated last year
- Collection of Matrix/Linear Algebra Information☆65Updated 9 months ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆36Updated last year
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆71Updated last year
- Source code for lecture notes☆142Updated 6 months ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- ☆59Updated 3 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 11 months ago
- Files needed to replicate my research blog☆78Updated 3 months ago
- All the math/tex files for the Automorphic Project☆18Updated 9 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆226Updated 2 months ago
- Public repository for the Thermodynamic Neural Network File☆14Updated 5 years ago
- Interactive neural theorem proving in Lean☆117Updated 2 years ago
- ☆112Updated 7 years ago
- ☆9Updated 5 years ago
- Benchmark for undergraduate-level formal mathematics☆100Updated 4 months ago
- [NeurIPS'19] Deep Equilibrium Models Jax Implementation☆39Updated 4 years ago
- ☆19Updated last year
- Proof artifact co-training for Lean☆42Updated 2 years ago
- An implementation of the NISQ neural network described in Farhi and Neven (1802.06002)☆15Updated 5 years ago
- crowdsourced summaries of research papers☆20Updated 6 months ago
- ☆10Updated 9 years ago
- GitHub repository for the ICLR Computational Geometry & Topology Challenge 2021☆52Updated 2 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆143Updated this week
- an Open Collaborative project to explore the implications — theoretical or practical — of the PDE perspective of ConvNets☆22Updated last year
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆10Updated 5 months ago