Alternatives and similar repositories for buchberger_algorithms:

Users that are interested in buchberger_algorithms are comparing it to the libraries listed below

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• riswords / quiche
  ☆22Updated last year
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆26Updated 4 years ago
• appliedgeometry / poissongeometry
  A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds
  ☆13Updated 3 months ago
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 2 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• mghasemi / Irene
  Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…
  ☆14Updated 3 months ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆28Updated 6 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆77Updated 6 months ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆15Updated this week
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆18Updated last month
• shaunharker / CHomP
  CHomP -- Computation Homology Project software
  ☆46Updated 10 months ago
• 3-manifolds / Spherogram
  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 this week
• QuantumBFS / YaoLang.jl
  YaoLang: The next DSL for Yao and quantum programs.
  ☆31Updated 3 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆40Updated last year
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆11Updated 7 months ago
• nebneuron / Simplicial.jl
  A package for various computations with simplicial complexes, combinatorial codes, directed complexes and their filtrations.
  ☆27Updated 2 years ago
• jannikmi / multivar_horner
  python package implementing a multivariate Horner scheme for efficiently evaluating multivariate polynomials
  ☆28Updated this week
• NLAFET / SyLVER
  Sparse symmetric indefinite solver implemented with a runtime system
  ☆13Updated 4 years ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆63Updated this week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆52Updated last year
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆42Updated 7 months ago
• SparseLinearAlgebra / cuBool
  Sparse linear Boolean algebra for Nvidia Cuda
  ☆22Updated 3 years ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆19Updated this week
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆57Updated 4 months ago
• inducer / pymbolic
  A simple package to do symbolic math (focus on code gen and DSLs)
  ☆112Updated last week
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago