JuliaIntervals / IntervalConstraintProgramming.jlLinks
Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
☆67Updated last year
Alternatives and similar repositories for IntervalConstraintProgramming.jl
Users that are interested in IntervalConstraintProgramming.jl are comparing it to the libraries listed below
Sorting:
- Rigorous function approximation using Taylor models in Julia☆64Updated last week
- Rigorous global optimisation☆63Updated 5 months ago
- Resizeable multi-dimensional arrays for Julia☆69Updated 2 months ago
- Functions generated at runtime without world-age issues or overhead☆108Updated this week
- An Extensible Test Matrix Collection for Julia☆82Updated 3 weeks ago
- A cassette-based debugger | The Other Debugger☆51Updated 4 years ago
- A Julia package for representing infinite-dimensional arrays☆75Updated last month
- Julia Binding to the GraphViz library☆69Updated last month
- Draw Julia syntax trees as a graph☆87Updated last year
- cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination☆39Updated this week
- A generalized version of Julia generated functions @generated to allow closures in generated functions and avoid the use of runtime eval …☆90Updated 3 years ago
- Can do or not? It's easy. See https://tk3369.github.io/BinaryTraits.jl/dev/☆54Updated 2 years ago
- A simple symbolic library with a pretty name 🧚🏻☆46Updated 7 years ago
- This library generates graph layouts using the TikZ graph layout package.☆81Updated 9 months ago
- Library for finding the roots of a function using interval arithmetic☆131Updated last month
- Utilities to analyze Julia's method tables☆96Updated last month
- Type stable array slicing☆50Updated 3 years ago
- Convenient macros for in-place matrix operations in Julia☆54Updated 2 years ago
- Calculate with error-free, faithful, and compensated transforms and extended significands.☆68Updated last month
- A framework for developing multi-scale arrays for use in scientific machine learning (SciML) simulations☆78Updated this week
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Updated 2 months ago
- Filesystem path types in julia☆87Updated 11 months ago
- Mike's Little Intermediate Representation☆114Updated 7 months ago
- Immutables as mutables, mutables as immutables.☆109Updated last week
- Concrete type inheritance for Julia☆25Updated 6 years ago
- A package which provides an API for querying differentiation results at multiple orders simultaneously☆37Updated 2 months ago
- Julia package to facilitate writing mulithreaded, multidimensional, cache-efficient code☆85Updated last year
- Unrolling loops at compile-time☆55Updated 2 years ago
- MultivariatePolynomials implementation using typed variables in Julia☆27Updated 5 months ago
- Tools for mapping between Julia structs and 2D tabular data.☆55Updated last year