edemaine / toppLinks
The Open Problems Project
☆41Updated 7 months ago
Alternatives and similar repositories for topp
Users that are interested in topp are comparing it to the libraries listed below
Sorting:
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated last month
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- The main source code for Regina☆39Updated last week
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆87Updated 4 months ago
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆99Updated last week
- Commutative diagrams with TikZ☆53Updated 3 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…☆114Updated this week
- Notes on Diffy Qs, a textbook for differential equations☆78Updated last week
- Mathematica packages for geometric algebra☆49Updated 8 months ago
- Python implementation of the monster group☆57Updated last month
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- Gaalop (Geometic Algebra Algorithms Optimizer) is a software to compile and optimize geometric algebra (GA) expressions into high-level p…☆115Updated 4 months ago
- ☆95Updated 2 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆51Updated 9 months ago
- Scientific computing in Lean 4☆460Updated 8 months ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆147Updated last year
- The root repository for the SpectralSequences project.☆32Updated last month
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆50Updated last week
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated 2 years ago
- Resources for learning about numerical methods.☆44Updated 2 years ago
- Rubi for Mathematica☆256Updated last year
- The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)☆114Updated 2 years ago
- 💧 Liquid Tensor Experiment☆220Updated 2 years ago
- Group theory visualization software in the browser☆274Updated last year
- C++ library for semigroups and monoids☆64Updated this week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- A Tensor Language☆55Updated 4 years ago
- Terminal CLI to Mathics3☆60Updated this week
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31Updated 4 years ago
- A program for drawing knots and links, with support for importing images☆33Updated 2 years ago