Alternatives and similar repositories for book:

Users that are interested in book are comparing it to the libraries listed below

• edemaine / topp
  The Open Problems Project
  ☆26Updated 3 months ago
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆66Updated 2 weeks ago
• MathBases / MathBases
  ☆18Updated 2 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last month
• regina-normal / regina
  The main source code for Regina
  ☆35Updated 3 weeks ago
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆20Updated 7 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• LiamMcAllisterGroup / cytools
  A software package for analyzing Calabi-Yau manifolds.
  ☆34Updated last month
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆59Updated last month
• pygae / pyganja
  Visualisation library for geometric algebra with cefpython and ganja.js
  ☆51Updated 3 years ago
• sagemath / sagetex
  Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …
  ☆62Updated 2 years ago
• kolibril13 / manimplotlib
  Collection of scripts to animate matplotlib plots with manim
  ☆50Updated 2 years ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆26Updated 8 months ago
• Z80coder / db-nets
  ∂B nets: learning discrete, boolean-valued functions by gradient descent
  ☆21Updated last year
• EelcoHoogendoorn / numga
  Geometric algebra in JAX and numpy
  ☆80Updated 2 weeks ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last month
• MilesCranmer / sympy2jax
  Turning SymPy expressions into JAX functions
  ☆44Updated 4 years ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆63Updated this week
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆69Updated 5 months ago
• gilbo / atl
  A Tensor Language
  ☆56Updated 3 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆45Updated last month
• ga / formulas
  A collection of formulas needed for everyday calculations in geometric algebra and calculus
  ☆18Updated 7 years ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆13Updated 8 months ago
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆61Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• teorth / expdb
  Exponent pair database
  ☆43Updated last week
• AlgebraicJulia / AlgebraicOptimization.jl
  ☆11Updated this week
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago