abrandenberger / random-trees
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:
- Encyclopedia of Combinatorial Structures☆13Updated 6 years ago
- ☆31Updated this week
- Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …☆199Updated 8 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…☆98Updated last week
- Tag-based webview of LaTeX documents☆28Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last week
- A database app for ring theory☆22Updated this week
- some maths papers in English☆18Updated last month
- Listing of online math seminars☆43Updated 8 months ago
- Tim Button's open textbook on set theory☆34Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆286Updated this week
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- A GNU Social-compatible microblogging server☆34Updated last month
- Lecture notes from Cambridge maths☆68Updated last year
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 2 months ago
- A LaTeX Typesetting Game☆248Updated last month
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- Algebra Number Theory book☆48Updated 3 years ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 2 months ago
- ☆162Updated 5 years ago
- Source code for the nLab☆174Updated last month
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 6 months ago
- Cambridge Maths Tripos notes☆36Updated 4 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…☆120Updated last year
- Coauthor supercollaboration/discussion forum☆260Updated last month
- Master Thesis☆193Updated 3 years ago
- Tree Proof Generator☆166Updated 2 months ago
- P.D. Magnus' forallx logic textbook☆66Updated last month