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
• chrisheunen / freetikz
  FreeTikZ
  ☆40Updated 7 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 5 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆30Updated last week
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆29Updated 2 weeks ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated last week
• lan496 / hsnf
  Computing Hermite normal form and Smith normal form with transformation matrices
  ☆20Updated 3 weeks ago
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• davidsd / lie
  A python interface to the computer algebra package LiE, for computations with Lie groups, representations, etc..
  ☆54Updated 8 years ago
• hellpig / SU-tools
  many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets
  ☆13Updated 4 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• eperrier / quant-geom-machine-learning
  ☆23Updated 3 years ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated last month
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• Stefan-Endres / shgo
  Simplicial Homology Global Optimization
  ☆53Updated 7 months ago
• b45ch1 / algopy
  AlgoPy is a Research Prototype for Algorithmic Differentation in Python
  ☆87Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 3 weeks ago
• MilesCranmer / sympy2jax
  Turning SymPy expressions into JAX functions
  ☆45Updated 4 years ago
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆12Updated 2 weeks ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆43Updated 3 months ago
• dwavesystems / dwave-tabu
  Tabu solver for QUBO/Ising problems.
  ☆21Updated 2 years ago
• dpiponi / Legendre
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Updated 4 years ago
• simoninireland / simplicial
  Simplicial topology in Python
  ☆39Updated 6 months ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆72Updated 2 months ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 4 years ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆70Updated last week
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆66Updated last year