Alternatives and similar repositories for buchberger_algorithms

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

• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆29Updated 5 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆70Updated last week
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated 2 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 6 months ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆72Updated 2 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 last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 8 months ago
• pygae / pyganja
  Visualisation library for geometric algebra with cefpython and ganja.js
  ☆54Updated 4 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• dpiponi / Legendre
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Updated 4 years ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 3 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• Prograf-UFF / TbGAL
  TbGAL: Tensor-Based Geometric Algebra Library
  ☆28Updated 3 years ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated last month
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆37Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 5 months ago
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆78Updated last week
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆61Updated this week
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆30Updated last week
• arpra-project / arpra
  Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
  ☆25Updated 2 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆166Updated 6 years 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…
  ☆21Updated 3 months ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 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…
  ☆43Updated 3 months ago
• jannikmi / multivar_horner
  python package implementing a multivariate Horner scheme for efficiently evaluating multivariate polynomials
  ☆30Updated 8 months ago