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
  ☆26Updated 4 years ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• dpiponi / Legendre
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Updated 3 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…
  ☆14Updated 5 months ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆15Updated this week
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• riswords / quiche
  ☆21Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 10 months ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆57Updated 3 weeks ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆28Updated this week
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆36Updated 11 months ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆18Updated 2 months ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆19Updated this week
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆85Updated 2 weeks ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆64Updated 3 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 8 months ago
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions
  ☆8Updated last week
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆24Updated 9 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated last year
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆25Updated 7 years ago
• pygae / pyganja
  Visualisation library for geometric algebra with cefpython and ganja.js
  ☆51Updated 3 years ago
• AidanRocke / AutoDiff
  Automatic Differentiation via Contour Integration
  ☆52Updated last year
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated this week
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 9 months ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆38Updated 2 weeks ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆26Updated this week