kovzol / geogebra-discovery
GeoGebra Discovery
☆22Updated 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
- All the math/tex files for the Automorphic Project☆18Updated 11 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆72Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- A Lean 4 Jupyter kernel via repl☆26Updated 5 months ago
- A framework for composing and simulating multiphysics systems☆64Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- A database app for ring theory☆22Updated this week
- ☆32Updated last year
- A Binder repo for SageMath computing environment☆27Updated this week
- ☆87Updated last year
- Template for blueprint-driven formalization projects in Lean.☆49Updated last week
- Formalization of the existence of sphere eversions☆40Updated last week
- Notes on Diffy Qs, a textbook for differential equations☆63Updated 2 weeks ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Tag-based webview of LaTeX documents☆28Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- A Mathematica package for solving Riemann–Hilbert problems numerically☆28Updated 5 years ago
- Building dynamical systems compositionally☆69Updated 6 months ago
- The matrix cookbook, proved in the Lean theorem prover☆105Updated 5 months ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 2 months ago
- ☆49Updated 2 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated 2 weeks ago
- ☆15Updated last year
- CAP project -- Categories, Algorithms, and Programming☆26Updated last week