kovzol / geogebra-discoveryLinks
GeoGebra Discovery
☆24Updated 2 weeks ago
Alternatives and similar repositories for geogebra-discovery
Users that are interested in geogebra-discovery 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…☆61Updated 4 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆49Updated 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…☆105Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- ☆34Updated last year
- A framework for composing and simulating multiphysics systems☆68Updated this week
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆68Updated last month
- A Binder repo for SageMath computing environment☆28Updated last week
- Convert Latex to Sympy and calculate it in Latex or Markdown in VSCode.☆106Updated 2 years ago
- Notes on Diffy Qs, a textbook for differential equations☆69Updated last week
- A database app for ring theory☆22Updated last month
- Convex optimization modeling in Lean 4☆48Updated last year
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated last week
- All the math/tex files for the Automorphic Project☆19Updated last year
- IGraph/M is the igraph interface for Mathematica☆96Updated 7 months ago
- Java Geometry Expert☆40Updated last week
- Building dynamical systems compositionally☆72Updated 8 months ago
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆75Updated last year
- ☆22Updated last month
- Mathematica packages for geometric algebra☆48Updated 2 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- The matrix cookbook, proved in the Lean theorem prover☆112Updated last month
- A template for blueprint-driven formalization projects in Lean.☆59Updated last week
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- The main source code for Regina☆38Updated this week
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆11Updated last week
- Listing of online math seminars☆43Updated 10 months ago
- Latex source for geometric algebra and physics notes.☆37Updated last week
- A Mathematica package for generating symbolic models from data☆48Updated 3 years ago
- Rubi for Mathematica☆249Updated last year