ericphanson / CombinatoricsNotesLinks
Notes from Math 550 at McGill University, from Winter 2016, taught by Prof. Sergey Norin.
☆14Updated 6 years ago
Alternatives and similar repositories for CombinatoricsNotes
Users that are interested in CombinatoricsNotes are comparing it to the libraries listed below
Sorting:
- Efficient, high-level dynamic programming☆28Updated 2 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- ☆13Updated 4 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- typesafe implementation of tensor algebra in Haskell☆13Updated 4 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Visual graph rewriting platform☆10Updated 8 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆54Updated 2 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 8 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Updated last year
- An embedded DSL for creating, composing, and using probability measures.☆42Updated 6 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 10 months ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- CAP project -- Categories, Algorithms, and Programming☆40Updated 3 weeks ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- A topological data analysis library for Haskell☆29Updated 4 years ago
- Paper: The simple essence of automatic differentiation☆23Updated 7 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated last year
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at…☆25Updated 2 years ago
- Code repository for our work on Quantum Pi☆10Updated last year
- Deposited packages of the homalg project☆17Updated last month
- Some tools for provability logic☆37Updated 7 years ago
- Lean4 port of Arduino balance car controller☆50Updated 4 years ago
- A Haskell probabilistic programming library.☆21Updated last month
- Very controlled natural language tactics for Lean☆66Updated 2 years ago