sandialabs / Prove-It
A tool for proving and organizing general theorems using Python.
☆27Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for Prove-It
- Massively Parallel Trotter-Suzuki Solver☆35Updated 4 years ago
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- Automatic Differentiation via Contour Integration☆52Updated last year
- D-Wave Instance Generator (D-WIG)☆8Updated last year
- many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets☆12Updated 3 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated last year
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆25Updated last month
- A framework for composing and simulating multiphysics systems☆49Updated this week
- A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds☆13Updated 3 weeks ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago
- Building dynamical systems compositionally☆66Updated 2 weeks ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆43Updated this week
- Differentiable programming on quantum circuits with Flux☆19Updated 4 years ago
- AlgoPy is a Research Prototype for Algorithmic Differentation in Python☆80Updated 4 months ago
- Sage source code for the computation of graphs and proofs from "Adventures in Graph Theory" by David Joyner and Caroline Grant Melles☆13Updated 6 years ago
- Latex source for geometric algebra and physics notes.☆33Updated 2 months ago
- 🔮 Monitoring the load of IBM Q processors☆21Updated 5 years ago
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 3 years ago
- Turning SymPy expressions into JAX functions☆42Updated 3 years ago
- Awesome Geometric Algebra☆23Updated 4 years ago
- Quantum compiler using the Solovay-Kitaev algorithm for n-qubits, i.e. SU(d=2^n)☆27Updated 5 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- Discrete Exterior Calculus☆12Updated 10 years ago
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint …☆15Updated last year
- 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…☆87Updated this week
- Discrete differential geometry on simplicial complexes☆26Updated 4 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 5 months 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…☆20Updated 2 months ago