LiamMcAllisterGroup / cytoolsLinks
A software package for analyzing Calabi-Yau manifolds.
☆35Updated this week
Alternatives and similar repositories for cytools
Users that are interested in cytools are comparing it to the libraries listed below
Sorting:
- Formalized quantum computing in Lean theorem prover☆28Updated 4 years ago
- Source code for lecture notes☆69Updated 7 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…☆105Updated last week
- Source code for lecture notes☆148Updated 11 months ago
- Python implementation of the monster group☆48Updated last month
- The main source code for Regina☆38Updated this week
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- Quantum information theory in Lean 4☆27Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆75Updated last year
- mathematica (miscellaneous)☆18Updated 2 months ago
- A project to digitalise results from physics into Lean.☆284Updated this week
- NCAlgebra - Non Commutative Algebra Package for Mathematica☆173Updated last year
- Mathematica packages for geometric algebra☆48Updated 2 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆49Updated last week
- ☆34Updated last year
- Formalizing results about the Mandelbrot set in Lean☆21Updated 8 months ago
- ☆91Updated last year
- A program for drawing knots and links, with support for importing images☆32Updated last year
- A field-theory motivated approach to computer algebra.☆246Updated last week
- A graphical tool for the ZX calculus☆60Updated 3 weeks ago
- A review article on conformal field theory☆19Updated 2 months ago
- Exponent pair database☆59Updated last week
- A curated list of Wolfram Language packages and resources.☆39Updated 6 months ago
- Convex optimization modeling in Lean 4☆48Updated last year
- Tag-based webview of LaTeX documents☆30Updated last year
- Lecture notes transcribed from course (Youtube videos) given by by Dr. Tobias Osborne.☆116Updated 3 years ago
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Updated last year
- A Mathematica package for performing calculations involving matrices/vectors in the Dirac notation which is usually used in quantum mecha…☆66Updated last year
- A semidefinite program solver for the conformal bootstrap.☆64Updated 2 months ago