kovzol / geogebra-discoveryLinks
GeoGebra Discovery
☆26Updated 3 months ago
Alternatives and similar repositories for geogebra-discovery
Users that are interested in geogebra-discovery are comparing it to the libraries listed below
Sorting:
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- 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 this week
- ☆37Updated last year
- Wolfram Language interface to the Gurobi numerical optimization library☆25Updated 4 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Tasty Bits of Several Complex Variables, graduate textbook☆19Updated 3 weeks ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆83Updated 3 weeks ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- IGraph/M is the igraph interface for Mathematica☆98Updated 11 months ago
- A Lean 4 Jupyter kernel via repl☆28Updated 11 months ago
- A Binder repo for SageMath computing environment☆33Updated last week
- Convex optimization modeling in Lean 4☆55Updated last year
- Java Geometry Expert☆44Updated 3 months ago
- ☆93Updated last year
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆70Updated last week
- A database app for ring theory☆22Updated 3 weeks ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated last month
- The matrix cookbook, proved in the Lean theorem prover☆121Updated last month
- A tool for proving and organizing general theorems using Python.☆30Updated last week
- A software package for analyzing Calabi-Yau manifolds.☆36Updated this week
- Wolfram Notebooks + LLMs☆100Updated this week
- A framework for composing and simulating multiphysics systems☆75Updated last month
- Notes on Diffy Qs, a textbook for differential equations☆76Updated this week
- Listing of online math seminars☆43Updated 2 weeks ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated 2 months ago
- A template for blueprint-driven formalization projects in Lean.☆75Updated last month
- mathematica (miscellaneous)☆18Updated 3 weeks ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆189Updated last week
- Rubi for Mathematica☆251Updated last year
- ☆25Updated last week