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:
- Encyclopedia of Combinatorial Structures☆14Updated 6 years ago
- ☆36Updated 2 weeks 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
- A LaTeX Typesetting Game☆249Updated 2 months ago
- Tag-based webview of LaTeX documents☆29Updated last year
- Listing of online math seminars☆43Updated 8 months ago
- Python bindings for Flint and Arb☆135Updated last week
- some maths papers in English☆18Updated 2 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆290Updated this week
- 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
- amateur translation project of Grothendieck's EGA.☆347Updated 7 months ago
- All the math/tex files for the Automorphic Project☆18Updated last year
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆319Updated last year
- The extensible drawing editor Ipe☆199Updated 2 years ago
- Coauthor supercollaboration/discussion forum☆261Updated 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…☆101Updated last week
- Lecture notes from Cambridge maths☆69Updated last year
- Cocreate Shared Whiteboard/Drawing☆216Updated 2 weeks ago
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- ☆10Updated 2 years ago
- Math notes from my whole degree :-) (And one CS class, and some fun physics)☆24Updated 2 years ago
- ☆22Updated last week
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 3 months ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 3 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆47Updated this week
- HTML version of pgf-tikz documentation☆47Updated last month
- plasTeX plugin to build formalization blueprints.☆219Updated 3 weeks ago
- Group theory visualization software in the browser☆250Updated last year
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆371Updated this week