sandialabs / Prove-ItLinks
A tool for proving and organizing general theorems using Python.
☆28Updated 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
- Automatic Differentiation via Contour Integration☆52Updated 2 years ago
- Computing Hermite normal form and Smith normal form with transformation matrices☆18Updated 6 months ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆28Updated last week
- A framework for composing and simulating multiphysics systems☆65Updated last week
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated last month
- A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds☆13Updated 7 months 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
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆69Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 10 months ago
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 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
- My accepted! proposal for the unitary fund quantum computing grant. Also accepted as an abstract to a conference. See github.com/LSaldyt/…☆12Updated 6 years ago
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- Compiler with automatic differentiation☆48Updated last year
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 4 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
- The Yao compiler project☆21Updated 3 years ago
- 🔮 Monitoring the load of IBM Q processors☆22Updated 6 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…☆21Updated this week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- A Binder repo for SageMath computing environment☆27Updated this week
- Tabu solver for QUBO/Ising problems.☆22Updated 2 years ago
- SciML-Bench Benchmarks for Scientific Machine Learning (SciML), Physics-Informed Machine Learning (PIML), and Scientific AI Performance☆22Updated this week
- Unified interface to symbolic manipulation libraries in Python☆9Updated 3 months ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Unified Maude model-checking tool☆11Updated 5 months ago
- introduction to dataflow analysis using julia☆14Updated 4 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago