mlweiss / buchberger_algorithms
A Python implementation of a polynomial library and Buchberger's Algorithm
☆22Updated 4 years ago
Related projects: ⓘ
- Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…☆14Updated last week
- Metamath verifier in Python☆35Updated 5 months ago
- Learning Algebraic Varieties from Samples☆24Updated 8 months ago
- Python code for the post "Computing Homology"☆29Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 2 months ago
- ☆21Updated last year
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆58Updated this week
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆32Updated 6 months ago
- A tool for proving and organizing general theorems using Python.☆27Updated 2 months ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated 11 months ago
- python package implementing a multivariate Horner scheme for efficiently evaluating multivariate polynomials☆26Updated 2 weeks ago
- Modeling and Programming with Gecode☆44Updated last year
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆12Updated 4 years ago
- A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds☆13Updated last year
- Awesome Geometric Algebra☆23Updated 4 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆48Updated 10 months ago
- A compiler for BLOG probabilistic programming language☆25Updated 6 years ago
- Successor to PolyBoRi☆17Updated last year
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆56Updated 2 weeks ago
- Compiler with automatic differentiation☆45Updated 11 months ago
- Library for chordal matrix computations☆23Updated 6 years ago
- Correctly-rounded mathematical functions for Julia☆8Updated last year
- GluCat: Clifford algebra templates☆19Updated last month
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 3 years ago
- TbGAL: Tensor-Based Geometric Algebra Library☆26Updated 2 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 weeks ago
- Sheaves library for graph abstractions based on NetworkX☆14Updated 5 years ago
- Recursive LAPACK Collection☆42Updated 2 years ago