mlweiss / buchberger_algorithms
A Python implementation of a polynomial library and Buchberger's Algorithm
☆22Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for buchberger_algorithms
- Metamath verifier in Python☆34Updated 7 months ago
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated 2 months ago
- Successor to PolyBoRi☆17Updated last year
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆34Updated 8 months 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 2 months ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆25Updated last month
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆59Updated 3 weeks ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆43Updated last week
- Awesome Geometric Algebra☆23Updated 4 years ago
- knot theory and computational algebra software☆35Updated 10 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- Convex optimization modeling in Lean 4☆41Updated 5 months ago
- A tool for proving and organizing general theorems using Python.☆27Updated 4 months ago
- A compiler for BLOG probabilistic programming language☆25Updated 6 years ago
- Automatic Differentiation via Contour Integration☆52Updated last year
- many powerful tools for studying irreducible representations of SU(n), including making animations of hadron flavor-state multiplets☆12Updated 3 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆78Updated 2 months ago
- Implementation of higher-order logic in Python☆58Updated last year
- A system for computational category theory and applications☆35Updated 8 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆24Updated 5 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated last year
- YaoLang: The next DSL for Yao and quantum programs.☆31Updated 3 years ago
- Bertini 2.0: The redevelopment of Bertini in C++.☆93Updated 3 months ago
- TbGAL: Tensor-Based Geometric Algebra Library☆27Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 4 months ago
- Latex source for geometric algebra and physics notes.☆34Updated this week