mseri / AoMLinks
Lecture notes of the course Analysis On Manifolds
☆21Updated 6 months ago
Alternatives and similar repositories for AoM
Users that are interested in AoM are comparing it to the libraries listed below
Sorting:
- Learning Algebraic Varieties from Samples☆24Updated last year
- LaTeX source code for the slides☆23Updated 4 years ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆75Updated last year
- Code for the 2-simplicial Transformer paper☆21Updated 5 years ago
- Probabilistic programming system for fast and exact symbolic inference☆80Updated last year
- This repository houses the code for the community website http://www.probabilistic-numerics.org☆35Updated 5 years ago
- Optimal Transport for Dummies - Code, slides and article☆33Updated 8 years ago
- A Learning Environment for Theorem Proving☆75Updated 3 years ago
- Source code for lecture notes☆149Updated 11 months ago
- ☆28Updated 7 years ago
- Discontinuous Hamiltonian Monte Carlo in JAX☆41Updated 5 years ago
- Multivariable calculus course materials☆56Updated 10 years ago
- Dive into Jax, Flax, XLA and C++☆31Updated 5 years ago
- Implementation of Nonparametric Hamiltonian Monte Carlo☆12Updated 2 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- ☆12Updated 4 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Jupyter notebooks with some NAND code☆19Updated 6 years ago
- ☆63Updated 10 years ago
- The simple essence of automatic differentiation☆200Updated 4 years ago
- ☆9Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Tree Approximate Message Passing☆30Updated last year
- A free open-source textbook for Multivariable Calculus that emphasizes differentials and linear algebra☆38Updated 14 years ago
- A tool for proving and organizing general theorems using Python.☆29Updated this week
- Let's translate works of Grothendieck☆26Updated 5 years ago
- Python library for working with graphons☆22Updated 7 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 2 months ago
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆105Updated last week