Alternatives and similar repositories for geogebra-discovery

Users that are interested in geogebra-discovery are comparing it to the libraries listed below

• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆50Updated this week
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last month
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆85Updated 2 years ago
• 3-manifolds / SnapPy
  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…
  ☆113Updated last week
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆77Updated last month
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆76Updated 2 weeks ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆30Updated 12 years ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆70Updated this week
• kovzol / Java-Geometry-Expert
  Java Geometry Expert
  ☆46Updated 6 months ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆31Updated last week
• leanprover-community / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆84Updated this week
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆30Updated last week
• peeterjoot / mathematica
  mathematica (miscellaneous)
  ☆19Updated 2 months ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆63Updated last week
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆79Updated 3 weeks ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆124Updated 4 months ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆404Updated this week
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆32Updated 4 years ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆35Updated this week
• jirilebl / scv
  Tasty Bits of Several Complex Variables, graduate textbook
  ☆19Updated 2 weeks ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆66Updated last year
• WolframResearch / GurobiLink
  Wolfram Language interface to the Gurobi numerical optimization library
  ☆25Updated 4 years ago
• AlgebraicJulia / StockFlow.jl
  ☆76Updated 3 months ago
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆251Updated last year
• teorth / symmetric_project
  ☆94Updated 2 years ago
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆14Updated 3 weeks ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆202Updated this week