kovzol / geogebra-discoveryLinks
GeoGebra Discovery
☆24Updated 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:
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 3 weeks ago
- ☆34Updated last year
- 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…☆106Updated this week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆75Updated last year
- A database app for ring theory☆22Updated last month
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Embedded algebraic number fields☆13Updated last month
- 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 this week
- A Binder repo for SageMath computing environment☆30Updated this week
- A framework for composing and simulating multiphysics systems☆71Updated last week
- A Lean 4 Jupyter kernel via repl☆26Updated 8 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Java Geometry Expert☆42Updated last month
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆69Updated 2 months ago
- A template for blueprint-driven formalization projects in Lean.☆66Updated this week
- blueprint for prime number theorem and more☆180Updated this week
- Python implementation of the monster group☆51Updated 3 weeks ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- 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
- FreeTikZ☆38Updated 7 years ago
- Wolfram Language interface to the Gurobi numerical optimization library☆24Updated 3 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- A software package for analyzing Calabi-Yau manifolds.☆35Updated last week
- The matrix cookbook, proved in the Lean theorem prover☆115Updated this week
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated this week
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆11Updated 11 months ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 5 months ago
- A collection of tools for building, rendering, and converting Latex documents☆24Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year