JuliaPoo / Cayley-Graph-PlottingLinks
A web UI that plots finite group Cayley Graphs in 3D
☆18Updated 2 years ago
Alternatives and similar repositories for Cayley-Graph-Plotting
Users that are interested in Cayley-Graph-Plotting are comparing it to the libraries listed below
Sorting:
- A project to digitalise results from physics into Lean.☆364Updated this week
- Tool for live presentations using manim☆167Updated 2 years ago
- A software package for analyzing Calabi-Yau manifolds.☆36Updated last week
- Physics simulation plugin of Manim that can generate scenes in various branches of Physics.☆376Updated last year
- A general-purpose programmatic animation tool☆236Updated last week
- Web Presenter for Mathematical Animations using Manim.☆341Updated last year
- blueprint for prime number theorem and more☆194Updated last week
- Group theory visualization software in the browser☆257Updated last year
- Python Based Domain Coloring☆34Updated last year
- 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…☆109Updated last week
- An introduction to theorem proving in Lean for the impatient.☆272Updated last month
- The matrix cookbook, proved in the Lean theorem prover☆121Updated last month
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated 11 months ago
- Animation engine for explanatory chemistry videos☆173Updated last year
- Source code for all the animations in my videos. Uses @3b1b's manim library☆180Updated last year
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- The HTML Presentation Framework☆49Updated 2 years ago
- Scientific computing in Lean 4☆432Updated 4 months ago
- Complex Analysis: A Visual and Interactive Introduction☆194Updated 3 weeks ago
- plasTeX plugin to build formalization blueprints.☆247Updated last month
- Tool for live presentations using manim☆696Updated this week
- ☆37Updated last year
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆189Updated last month
- Python implementation of the monster group☆53Updated last week
- A community database for the problems on the erdosproblems.com site☆90Updated this week
- A Python 3 library for constructing and drawing hyperbolic geometry☆149Updated last year
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆96Updated last week
- A Manim implementation of the classic Rubik's Cube☆51Updated 2 years ago
- ☆119Updated 4 years ago
- Typst extension, adding support for generating figures using inline Python code☆107Updated 3 weeks ago