Alternatives and similar repositories for buchberger_algorithms

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

• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆71Updated this week
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆51Updated 9 months ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆31Updated this week
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated 2 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• 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…
  ☆24Updated 3 weeks ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated 4 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months 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…
  ☆46Updated 2 months ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆29Updated 5 years 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 last month
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 8 months ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆22Updated 4 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated last month
• bertiniteam / b2
  Bertini 2.0: The redevelopment of Bertini in C++.
  ☆110Updated 5 months ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆49Updated 2 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆13Updated this week
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆26Updated 8 months ago
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆29Updated 3 years ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 7 months ago
• arpra-project / arpra
  Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
  ☆25Updated 3 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 8 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 8 years ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆71Updated 5 months ago
• pygae / pyganja
  Visualisation library for geometric algebra with cefpython and ganja.js
  ☆54Updated 4 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 3 years ago
• endolith / complex_colormap
  Colormap for visualizing amplitude and phase of complex functions (e.g. filter design) using hue and lightness in a perceptually-uniform …
  ☆44Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆85Updated last year