abrandenberger / random-treesLinks
Generate random critical Galton-Watson trees and display their free trees in a force-directed layout
☆14Updated last year
Alternatives and similar repositories for random-trees
Users that are interested in random-trees are comparing it to the libraries listed below
Sorting:
- Listing of online math seminars☆43Updated 9 months ago
- Encyclopedia of Combinatorial Structures☆14Updated 7 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…☆37Updated 4 years ago
- ☆36Updated this week
- All the math/tex files for the Automorphic Project☆19Updated last year
- Tag-based webview of LaTeX documents☆30Updated last year
- Amy's faculty webpage☆23Updated this week
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- some maths papers in English☆18Updated last week
- Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …☆200Updated 8 years ago
- Tim Button's open textbook on set theory☆38Updated this week
- A Lean file formatter☆68Updated 2 years ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆38Updated last year
- 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
- Algebra Number Theory book☆48Updated 3 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆47Updated 3 weeks ago
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- A LaTeX Typesetting Game☆252Updated 2 months ago
- ☆42Updated 4 years 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…☆104Updated this week
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- amateur translation project of Grothendieck's EGA.☆350Updated 8 months ago
- API info for tigerbook☆10Updated 5 years ago
- A new way to write and explore mathematical texts.☆23Updated 8 years ago
- ☆22Updated 3 weeks ago
- Lecture notes from Cambridge maths☆68Updated last year
- Coauthor supercollaboration/discussion forum☆262Updated 2 weeks ago
- Formalization of the existence of sphere eversions☆43Updated 2 weeks ago