sandialabs / Prove-ItLinks
A tool for proving and organizing general theorems using Python.
☆29Updated this week
Alternatives and similar repositories for Prove-It
Users that are interested in Prove-It are comparing it to the libraries listed below
Sorting:
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆70Updated 3 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Automatic Differentiation via Contour Integration☆52Updated 2 years ago
- many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets☆12Updated 3 years ago
- Metamath verifier in Python☆40Updated last month
- Tabu solver for QUBO/Ising problems.☆22Updated 2 years ago
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 3 years ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆28Updated this week
- Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…☆15Updated 9 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 2 months ago
- A framework for composing and simulating multiphysics systems☆69Updated this week
- Unified interface to symbolic manipulation libraries in Python☆9Updated 5 months ago
- ☆11Updated 3 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated this week
- ☆22Updated 2 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- 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…☆105Updated last week
- SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.☆10Updated last year
- AIDN is a deep learning algorithm to represent any finitely-presented algebraic object with a set of deep neural networks.☆8Updated 4 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 11 years ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆68Updated last month
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds☆13Updated 9 months ago
- Visualisation library for geometric algebra with cefpython and ganja.js☆54Updated 4 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆49Updated last week
- Awesome Geometric Algebra☆28Updated 5 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆64Updated last year