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
  ☆38Updated last year
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 2 weeks ago
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆27Updated 3 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆27Updated 4 years ago
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆38Updated 2 weeks ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• 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…
  ☆15Updated 7 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…
  ☆20Updated 3 weeks ago
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆12Updated last month
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆38Updated last week
• bertiniteam / b2
  Bertini 2.0: The redevelopment of Bertini in C++.
  ☆103Updated 3 months ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆27Updated this week
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆88Updated this week
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 5 months ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆20Updated 2 months ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆24Updated 11 months ago
• appliedgeometry / poissongeometry
  A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds
  ☆13Updated 7 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆46Updated 2 weeks ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆60Updated 3 months ago
• soarlab / gelpia
  Rigorous Global Branch-and-Bound Optimizer
  ☆23Updated 5 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆80Updated 7 months ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆13Updated last week
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 2 months ago