kovzol / geogebra-discoveryLinks
GeoGebra Discovery
☆26Updated last month
Alternatives and similar repositories for geogebra-discovery
Users that are interested in geogebra-discovery are comparing it to the libraries listed below
Sorting:
- 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…☆107Updated 2 weeks ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last month
- A framework for composing and simulating multiphysics systems☆71Updated this week
- Building dynamical systems compositionally☆72Updated this week
- Java Geometry Expert☆43Updated last month
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 5 months ago
- A database app for ring theory☆22Updated 2 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆75Updated 2 years ago
- ☆34Updated last year
- Convex optimization modeling in Lean 4☆51Updated last year
- A Binder repo for SageMath computing environment☆32Updated this week
- Notes on Diffy Qs, a textbook for differential equations☆74Updated 2 weeks ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- ☆69Updated 2 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆69Updated this week
- Tasty Bits of Several Complex Variables, graduate textbook☆18Updated 2 weeks ago
- Wolfram Language interface to the Gurobi numerical optimization library☆24Updated 3 years ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- A tool for proving and organizing general theorems using Python.☆29Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆381Updated this week
- General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…☆35Updated last week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 12 years ago
- A Lean 4 Jupyter kernel via repl☆28Updated 9 months ago
- ☆33Updated last month
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated last month
- blueprint for prime number theorem and more☆181Updated this week
- ☆92Updated last year
- ☆23Updated 2 weeks ago
- Wolfram Notebooks + LLMs☆96Updated last week
- Build Petri net models compositionally☆88Updated 2 weeks ago