kovzol / geogebra-discovery
GeoGebra Discovery
☆19Updated 2 months ago
Alternatives and similar repositories for geogebra-discovery:
Users that are interested in geogebra-discovery are comparing it to the libraries listed below
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated last month
- Building dynamical systems compositionally☆67Updated 2 months ago
- Lecture notes for M3M6 Methods of Mathematical Physics☆39Updated 4 years ago
- 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
- A framework for composing and simulating multiphysics systems☆55Updated this week
- ☆29Updated 10 months ago
- Notes on Diffy Qs, a textbook for differential equations☆62Updated 2 weeks ago
- Julia package for the Singular library☆35Updated this week
- Fundamentals of Numerical Computation text, Julia version for the MATLAB (1st) edition.☆54Updated this week
- Groebner bases in (almost) pure Julia☆66Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- A database app for ring theory☆21Updated this week
- A Lean 4 Jupyter kernel via repl☆19Updated last month
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Various notes on mathematics and physics organized in several volumes.☆9Updated this week
- A Mathematica package for solving Riemann–Hilbert problems numerically☆28Updated 5 years ago
- Wolfram Language interface to the Gurobi numerical optimization library☆24Updated 3 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆68Updated last year
- GAP packages for Julia integration☆72Updated this week
- Tensor algebra abstract type interoperability setup☆43Updated 2 months ago
- Support package for doing Calculus with Julia☆60Updated 2 weeks ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆56Updated 3 months ago
- The matrix cookbook, proved in the Lean theorem prover☆93Updated last month
- Mathematica packages for geometric algebra☆46Updated last year
- A short introduction to SageMath☆17Updated last month
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆26Updated this week
- Build Petri net models compositionally☆79Updated 2 months ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆19Updated this week
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Convex optimization modeling in Lean 4☆42Updated 7 months ago