sandialabs / Prove-It
A tool for proving and organizing general theorems using Python.
☆28Updated 2 weeks ago
Alternatives and similar repositories for Prove-It:
Users that are interested in Prove-It are comparing it to the libraries listed below
- Massively Parallel Trotter-Suzuki Solver☆35Updated 4 years ago
- C++ Library for Quantum State Preparation (QSP)☆11Updated 2 years ago
- 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
- 🔮 Monitoring the load of IBM Q processors☆22Updated 6 years ago
- I. Chuang's qasm2circ library, modified to include a run-all script that works on Windows and to have the main qasm2tex.py script work as…☆15Updated 7 years ago
- D-Wave Instance Generator (D-WIG)☆9Updated 2 years ago
- Computing Hermite normal form and Smith normal form with transformation matrices☆17Updated 4 months ago
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets☆12Updated 3 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆19Updated 2 months ago
- ☆23Updated 2 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Automatic Differentiation via Contour Integration☆52Updated 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
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆26Updated this week
- Quantum Gate Language (QGL) is a domain specific language embedded in python for specifying quantum gate sequences.☆32Updated 3 weeks ago
- Dive into Jax, Flax, XLA and C++☆31Updated 5 years ago
- Quantum Fast Approximate Synthesis Tool☆17Updated 2 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…☆14Updated 6 months ago
- Tabu solver for QUBO/Ising problems.☆22Updated 2 years ago
- A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds☆13Updated 5 months ago
- A Python toolkit for quantum neural networks.☆40Updated 6 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated last month
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆25Updated 5 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆58Updated last month
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 3 years ago
- Unified interface to symbolic manipulation libraries in Python☆9Updated last month
- A Binder repo for SageMath computing environment☆27Updated this week
- ☆49Updated 2 years ago