algebraic-solving / AlgebraicSolving.jlLinks
☆34Updated last week
Alternatives and similar repositories for AlgebraicSolving.jl
Users that are interested in AlgebraicSolving.jl are comparing it to the libraries listed below
Sorting:
- Groebner bases in (almost) pure Julia☆74Updated 3 weeks ago
- Julia package for the Singular library☆35Updated this week
- Constrained LUmping of differential Equations☆13Updated last year
- CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields☆10Updated 10 months ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆52Updated last week
- GAP packages for Julia integration☆83Updated this week
- Quaternions for Julia☆29Updated last week
- A package for graph optimization algorithms that rely on mathematical programming.☆20Updated last month
- Lattice reduction and other lattice tools in Julia☆49Updated last year
- Fundamentals of the control-toolbox ecosystem☆13Updated this week
- Extension of MultivariatePolynomials to semialgebraic sets☆22Updated last year
- A Julia library for automated deduction in Euclidean geometry.☆24Updated 3 years ago
- Finite fields for Julia☆50Updated 3 months ago
- Float128 and libquadmath for the Julia language☆44Updated 2 weeks ago
- Thin, efficient wrapper around Arb library (http://arblib.org/)☆30Updated this week
- ☆16Updated 2 weeks ago
- Tangent bundle, vector space and Submanifold definition☆51Updated 3 weeks ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Updated last month
- Matrices with interval coefficients in Julia☆19Updated 3 weeks ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Geometric algebra transformations at compile-time☆24Updated last month
- Tools for visualizing Julia IR☆45Updated 2 months ago
- The base package for Optimization.jl, containing the structs and basic functions for it.☆17Updated 5 months ago
- Static types useful for dispatch and generated functions.☆62Updated last month
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆41Updated last month
- Tensor algebra abstract type interoperability setup☆44Updated 5 months ago
- Capturing standard output and error streams in Julia.☆31Updated 2 months ago
- Port to Julia of the Gap3 package Chevie☆19Updated last week
- Arithmetic with small and with very large rationals is made fast.☆23Updated last month
- ☆50Updated last week