Alternatives and similar repositories for openf4:

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

• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆57Updated 4 months ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆54Updated 6 years ago
• cbouilla / spasm
  a Sparse Direct Solver modulo p
  ☆23Updated 2 months ago
• jklappert / FireFly
  A C++ library to perform rational function interpolation over finite fields with a rational number reconstruction to promote the coeffici…
  ☆9Updated 3 years ago
• michibo / tropical-feynman-quadrature
  Implementation of a tropical sampling algorithm for Euclidean parametric Feynman integrals
  ☆12Updated last year
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆84Updated last month
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated last month
• mkauers / ore_algebra
  ☆30Updated 2 weeks ago
• mppmu / qmc
  A Quasi-Monte-Carlo Integrator Library with CUDA Support
  ☆26Updated last year
• christophmeyer / CANONICA
  Transformation of multi-loop Feynman integrals to a canonical basis
  ☆13Updated last year
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆108Updated last month
• FlorentAvellaneda / EvalMaxSAT
  State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
  ☆16Updated 9 months ago
• chrisvwx / LLLplus.jl
  Lattice reduction and other lattice tools in Julia
  ☆49Updated 2 weeks ago
• gituliar / fuchsia
  A tool for reducing differential equations for Feynman master integrals to an epsilon form.
  ☆14Updated 3 years ago
• algebraic-solving / AlgebraicSolving.jl
  ☆21Updated last month
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆40Updated last year
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆24Updated 7 months ago
• michibo / feyncop
  feyngen and feyncop - Two programs for calculations with Feynman graphs
  ☆19Updated 2 weeks ago
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆78Updated 3 months ago
• szhorvat / IGraphM
  IGraph/M is the igraph interface for Mathematica
  ☆95Updated last month
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆45Updated this week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆45Updated last month
• passagemath / passagemath
  General purpose mathematical software system, fork of SageMath supporting modularized installation with pip
  ☆11Updated this week
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated last year
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆63Updated this week
• ths-rwth / smtrat
  ☆52Updated last month
• UT-team / INITIAL
  Package for obtaining the transformation matrix to a canonical basis from one UT integral.
  ☆13Updated 2 years ago
• marekpiotrow / UWrMaxSat
  UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main …
  ☆22Updated 6 months ago