GitHub topics: interval-analysis
codac-team/codac
Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint programming over real numbers, trajectories and sets. It has numerous applications in parameter estimation, guaranteed integration, robot localization, and provides reliable outputs.
Language: C++ - Size: 26 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 44 - Forks: 19
vladimir-skvortsov/spbstu-interval-anylysis
Лабораторные работы по дисциплине «интервальный анализ».
Language: Jupyter Notebook - Size: 16.6 MB - Last synced at: 5 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
polislizarralde/PISA
Code and Datasets accompanying the paper titled "Robust optimization for solving the parameter estimation problem through interval analysis using actual data"
Language: Mathematica - Size: 2 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
PragmaTwice/codepunk
[WIP] Interval Analysis on LLVM IR
Language: C++ - Size: 51.8 KB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 12 - Forks: 1
afarjudian/IVP_MPFI
Sound and complete interval method for solving ordinary differential equation (ODE) initial value problems (IVPs) from the paper "Recursive solution of initial value problems with temporal discretization":
Language: C++ - Size: 13.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
cvanaret/CateGOrical.jl
Julia prototype for solving mixed categorical optimization problems to global optimality
Language: Julia - Size: 22.5 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
zhenyatos-burial-ground/computational 📦
:finnadie: Computational complexes labs (St. Petersburg Polytechnic State University)
Language: Julia - Size: 35.2 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
JCSadeghi/PyIPM
A python port of the OpenCossan Interval Predictor Model toolbox
Language: Python - Size: 162 KB - Last synced at: 12 months ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 2
dibyendu/unrelyzer
Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
Language: C - Size: 10.7 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 1
