kovzol / geogebra-discoveryLinks
GeoGebra Discovery
☆27Updated 4 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:
- Tasty Bits of Several Complex Variables, graduate textbook☆19Updated last week
- ☆37Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 3 weeks ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Java Geometry Expert☆44Updated 4 months ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated 2 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated last month
- 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…☆111Updated this week
- Notes on Diffy Qs, a textbook for differential equations☆76Updated this week
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆83Updated last year
- A Lean 4 Jupyter kernel via repl☆28Updated 11 months ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆70Updated this week
- A Binder repo for SageMath computing environment☆33Updated this week
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 6 years ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- A program for drawing knots and links, with support for importing images☆32Updated last year
- A database app for ring theory☆22Updated last week
- A collection of tools for building, rendering, and converting Latex documents☆24Updated 2 years ago
- A framework for composing and simulating multiphysics systems☆78Updated 2 weeks ago
- Mathematica packages for geometric algebra☆49Updated 6 months ago
- Convex optimization modeling in Lean 4☆58Updated last year
- ☆25Updated 3 weeks ago
- Wolfram Notebooks + LLMs☆101Updated 2 weeks ago
- Wolfram Language interface to the Gurobi numerical optimization library☆25Updated 4 years ago
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆11Updated last year
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆22Updated 3 months ago
- FreeTikZ☆40Updated 7 years ago
- Listing of online math seminars☆43Updated last month
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆69Updated 2 years ago