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:
- Learning Algebraic Varieties from Samples☆24Updated last year
- many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets☆12Updated 3 years ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆28Updated last week
- Simplicial topology in Python☆37Updated 2 months ago
- A python interface to the computer algebra package LiE, for computations with Lie groups, representations, etc..☆53Updated 7 years ago
- This is an open science project aimed at representing the path integral in quantum field theory via a tensor network state.☆19Updated 10 years ago
- ☆23Updated 3 years ago
- Automatic Differentiation via Contour Integration☆52Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 3 years ago
- ☆49Updated 3 years ago
- AIDN is a deep learning algorithm to represent any finitely-presented algebraic object with a set of deep neural networks.☆8Updated 4 years ago
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated last month
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated last month
- Latex source for geometric algebra and physics notes.☆38Updated this week
- 🔮 Monitoring the load of IBM Q processors☆22Updated 6 years ago
- Quantum Fast Approximate Synthesis Tool☆17Updated 2 years ago
- Sage source code for the computation of graphs and proofs from "Adventures in Graph Theory" by David Joyner and Caroline Grant Melles☆14Updated 7 years ago
- A Python toolkit for quantum neural networks.☆40Updated 6 years ago
- The main source code for Regina☆38Updated this week
- Physics Derivation Graph: mathematical connections among equations☆20Updated last year
- Awesome Geometric Algebra☆28Updated 4 years ago
- Probabilistic programming system for fast and exact symbolic inference☆80Updated 11 months ago
- Massively Parallel Trotter-Suzuki Solver☆35Updated 4 years ago
- ☆18Updated 4 years ago
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 4 years ago
- Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint …☆15Updated 2 years ago
- Abstract Algebra: An implementation of Finite Algebras: Groups, Rings, Fields, Vector Spaces, Modules, Monoids, Semigroups, and Magmas. …☆17Updated last month