Alternatives and similar repositories for Prove-It:

Users that are interested in Prove-It are comparing it to the libraries listed below

• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆27Updated this week
• hellpig / SU-tools
  many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets
  ☆12Updated 3 years ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆26Updated this week
• fmozafari / angel
  C++ Library for Quantum State Preparation (QSP)
  ☆11Updated 2 years ago
• appliedgeometry / poissongeometry
  A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds
  ☆13Updated 3 months ago
• AidanRocke / AutoDiff
  Automatic Differentiation via Contour Integration
  ☆52Updated last year
• eperrier / quant-geom-machine-learning
  ☆22Updated 2 years ago
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 2 years ago
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆52Updated 4 years ago
• ATOMSLab / LeanChemicalTheories
  ☆29Updated 10 months ago
• davidsd / lie
  A python interface to the computer algebra package LiE, for computations with Lie groups, representations, etc..
  ☆52Updated 7 years ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆37Updated 2 months ago
• lan496 / hsnf
  Computing Hermite normal form and Smith normal form with transformation matrices
  ☆17Updated last month
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated 2 weeks ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated last week
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆23Updated 3 years ago
• mlweiss / buchberger_algorithms
  A Python implementation of a polynomial library and Buchberger's Algorithm
  ☆22Updated 4 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆79Updated 4 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• tobiasosborne / Tensor-networks-and-quantum-field-theory
  This is an open science project aimed at representing the path integral in quantum field theory via a tensor network state.
  ☆18Updated 10 years ago
• dpiponi / Legendre
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Updated 3 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…
  ☆94Updated last week
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆35Updated 10 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆40Updated last year
• mghasemi / Irene
  Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…
  ☆14Updated 4 months ago
• jtauber / functional-differential-geometry
  working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
  ☆45Updated 10 years ago