mkauers / ore_algebra
☆31Updated last week
Alternatives and similar repositories for ore_algebra:
Users that are interested in ore_algebra are comparing it to the libraries listed below
- a Sparse Direct Solver modulo p☆26Updated 6 months ago
- General purpose mathematical software system, fork of SageMath supporting modularized installation with pip☆21Updated this week
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 3 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆362Updated this week
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 4 months ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆60Updated 2 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…☆97Updated last month
- Algebra Number Theory book☆48Updated 3 years ago
- Library for Polynomial System Solving through Algebraic Methods☆127Updated last month
- All the math/tex files for the Automorphic Project☆18Updated 11 months ago
- Python bindings for Flint and Arb☆136Updated this week
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆11Updated last year
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- Python implementation of the monster group☆42Updated 2 weeks ago
- NCAlgebra - Non Commutative Algebra Package for Mathematica☆167Updated last year
- Multivariate functional reconstruction using finite fields and dataflow graphs.☆46Updated 3 months ago
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆10Updated 8 months ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆10Updated 2 months ago
- NeatIBP: a package for generating a short IBP system for reducing multi-loop integrals, via module intersection☆27Updated 3 weeks ago
- sources for the Singular computer algebra system☆275Updated last week
- A project to digitalise results from physics into Lean.☆209Updated this week
- C++ library for semigroups and monoids☆46Updated this week
- Notes on Diffy Qs, a textbook for differential equations☆63Updated 2 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
- Implementation of a tropical sampling algorithm for Euclidean parametric Feynman integrals☆12Updated 2 years ago
- Filter Mathematica notebooks to commit them more easily☆57Updated 5 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- GAP package guava - computations relative to error-correcting codes☆16Updated last week
- some maths papers in English☆18Updated last month