JuliaIntervals / ValidatedNumerics.jl
Rigorous floating-point calculations with interval arithmetic in Julia
☆85Updated 2 months ago
Alternatives and similar repositories for ValidatedNumerics.jl:
Users that are interested in ValidatedNumerics.jl are comparing it to the libraries listed below
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆66Updated 2 months ago
- Multivariate polynomials interface☆138Updated 3 weeks ago
- A simple domain-specific language (DSL) for defining differential equations for use in scientific machine learning (SciML) and other appl…☆76Updated this week
- Quadtrees, Octrees, and more in Julia☆112Updated 2 years ago
- A Julia package for representing banded matrices☆130Updated this week
- Fortran-like arrays with arbitrary, zero or negative starting indices.☆199Updated 2 months ago
- Uniform Interface for positive definite matrices of various structures☆106Updated last month
- Julia interface to the GNU Scientific Library (GSL)☆100Updated 2 months ago
- pure-Julia multidimensional h-adaptive integration☆159Updated 2 months ago
- Library for finding the roots of a function using interval arithmetic☆129Updated 2 months ago
- extended precision math, accurate and performant☆82Updated 3 weeks ago
- A unified interface for sequential, threaded, and distributed fold☆87Updated 2 years ago
- Mike's Little Intermediate Representation☆111Updated 2 months ago
- Multivariate polynomials implementation of commutative and non-commutative variables☆61Updated 2 months ago
- Easy benchmark tracking for packages☆131Updated last year
- Base package for defining transformation recipes on user types for Plots.jl☆111Updated 2 years ago
- Divide and Conquer Linear Algebra☆118Updated last year
- Generic numerical linear algebra in Julia☆151Updated last month
- Sparse, General Linear Algebra for Graphs!☆108Updated 3 weeks ago
- Type stable and efficient wrapper of arbitrary Julia functions☆109Updated 3 months ago
- math with more good bits☆160Updated 3 months ago
- Abstract julia interfaces for working with trees☆214Updated 2 weeks ago
- Rigorous global optimisation in pure Julia☆57Updated 3 years ago
- Easily and efficiently memoize any function, closure, or callable object in Julia.☆105Updated 3 months ago
- Lazy code loading for Julia☆195Updated 10 months ago
- A general-purpose toolbox for efficient Kronecker-based algebra.☆88Updated last month
- Posix-compliant file name pattern matching☆129Updated 3 months ago
- Functions generated at runtime without world-age issues or overhead☆102Updated this week
- ☆90Updated this week
- Rigorous function approximation using Taylor models in Julia☆65Updated 3 weeks ago