mkauers / ore_algebraLinks
☆36Updated last week
Alternatives and similar repositories for ore_algebra
Users that are interested in ore_algebra are comparing it to the libraries listed below
Sorting:
- a Sparse Direct Solver modulo p☆26Updated 7 months ago
- Library for Polynomial System Solving through Algebraic Methods☆133Updated last week
- NeatIBP: a package for generating a short IBP system for reducing multi-loop integrals, via module intersection☆27Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆370Updated this week
- General purpose mathematical software system, fork of SageMath supporting modularized installation with pip☆27Updated this week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last month
- Teichmüller dynamics in SageMath☆12Updated last week
- Package for obtaining the transformation matrix to a canonical basis from one UT integral.☆13Updated 2 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 5 months ago
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆101Updated this week
- Multivariate functional reconstruction using finite fields and dataflow graphs.☆46Updated this week
- some maths papers in English☆18Updated 2 months ago
- Embedded algebraic number fields☆13Updated 3 weeks ago
- Polynomial Matrix Library. Additions to NTL and FLINT libraries, with a focus on univariate polynomial matrices, structured matrices, and…☆11Updated this week
- ☆31Updated 2 weeks ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated 3 weeks ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆60Updated 3 months ago
- F4 algorithm C++ library (groebner basis computations over finite fields)☆12Updated 7 years ago
- A project to digitalise results from physics into Lean.☆252Updated this week
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated 2 weeks ago
- All the math/tex files for the Automorphic Project☆18Updated last year
- A C++ library to perform rational function interpolation over finite fields with a rational number reconstruction to promote the coeffici…☆10Updated last week
- GAP package guava - computations relative to error-correcting codes☆16Updated last month
- Java implementations of sequences in the OEIS☆63Updated this week
- Implementation of a tropical sampling algorithm for Euclidean parametric Feynman integrals☆12Updated 2 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated 8 months ago
- Groebner bases in (almost) pure Julia☆69Updated 2 weeks ago
- sources for the Singular computer algebra system☆278Updated this week
- plasTeX plugin to build formalization blueprints.☆219Updated 3 weeks ago