mroughan / SurrealNumbers.jl
Implementation of Conway's Surreal Numbers
☆36Updated last month
Related projects: ⓘ
- Easy modular arithmetic for Julia☆33Updated 3 weeks ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Updated 2 weeks ago
- Tensor algebra abstract type interoperability setup☆43Updated 3 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- ☆29Updated 3 weeks ago
- MultivariatePolynomials implementation using typed variables in Julia☆25Updated last year
- Finite fields for Julia☆47Updated last year
- Linear algebra done rigorously☆36Updated last month
- ☆27Updated 2 years ago
- An efficient symbolic term rewriting engine☆77Updated 3 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆63Updated last week
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆37Updated 2 weeks ago
- A Julia module providing the definition of the circle constant Tau (2π)☆38Updated last month
- Julia implementation of HyperDualNumbers☆42Updated last year
- A Petri net modeling framework for the Julia programming language☆40Updated 9 months ago
- Multivariate polynomials implementation of commutative and non-commutative variables☆60Updated 3 months ago
- Julia package for the Singular library☆31Updated this week
- Interface to Polymake using CxxWrap☆28Updated last month
- Rigorous global optimisation in pure Julia☆54Updated 2 years ago
- Like a kick in the monads☆39Updated 2 years ago
- Syntactic sugar for BLAS polynomials☆30Updated 5 years ago
- Julia bindings to the SAT solver picosat☆29Updated 8 months ago
- This package contains a macro for converting expressions to use muladd calls and fused-multiply-add (FMA) operations for high-performance…☆44Updated 4 months ago
- Automatic probabilistic programming for scientific machine learning and dynamical models☆34Updated 2 months ago
- Material for an advanced julia workshop for graduate/post-graduate physicists☆33Updated 4 years ago
- ☆36Updated 2 years ago
- High precision replacements for Float64☆11Updated 6 years ago
- Lambert W mathematical function☆22Updated last year
- A package for representing quasi-arrays☆12Updated last month
- Fast evaluation of multivariate polynomials☆16Updated last year