mroughan / SurrealNumbers.jlLinks
Implementation of Conway's Surreal Numbers
☆38Updated 3 months ago
Alternatives and similar repositories for SurrealNumbers.jl
Users that are interested in SurrealNumbers.jl are comparing it to the libraries listed below
Sorting:
- Like a kick in the monads☆42Updated 3 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- ☆39Updated 5 months ago
- An efficient symbolic term rewriting engine☆78Updated 5 years ago
- Finite fields for Julia☆50Updated 3 months ago
- Easy modular arithmetic for Julia☆38Updated last year
- 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
- MultivariatePolynomials implementation using typed variables in Julia☆27Updated 5 months ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 4 years ago
- Automatic probabilistic programming for scientific machine learning and dynamical models☆35Updated last year
- The implementation of NameResolution.jl for Julia language.☆29Updated 3 years ago
- Tensor algebra abstract type interoperability setup☆44Updated 5 months ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Updated last year
- Pattern matching☆55Updated 3 years ago
- Linear algebra done rigorously☆39Updated last year
- Memory-efficient immutable LightGraphs.☆35Updated last month
- Julia package for finding the spectral measure of structured self adjoint operators☆23Updated last year
- ☆17Updated 5 years ago
- eXpression differentiation in Julia☆29Updated 6 years ago
- Automatically convert Julia methods to Gen functions.☆48Updated 4 years ago
- A operator overloading, tape-based, reverse-mode AD☆68Updated 2 years ago
- A Julia module providing the definition of the circle constant Tau (2π)☆41Updated 2 months ago
- Julia bindings to the SAT solver picosat☆32Updated 2 years ago
- Tectonic typesetting for Julia.☆32Updated last month
- Julia MathML parser☆26Updated last month
- An Extensible Test Matrix Collection for Julia☆82Updated 3 weeks ago
- Domain coloring for complex functions☆32Updated 3 years ago
- A Julia Package for Machine Learning on the Manifold of Positive Definite Matrices☆25Updated 3 weeks ago
- Julia implementation of HyperDualNumbers☆43Updated 2 years ago