Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming
OTHER License
Julia package for diversity measurement
A computer algebra system for propositional logic
A Julia package for Adaptive Resonance Theory (ART) algorithms.
Clique recycling non-Gaussian (multi-modal) factor graph solver; also see Caesar.jl.
A Julia framework for invertible neural networks
ODE integration using Taylor's method, and more, in Julia
Gaussian Process package based on data augmentation, sparsity and natural gradients
Exact real arithmetic using Dedekind cuts
Library for multidimensional numerical integration with four independent algorithms: Vegas, Suave...
Julia package for ecosystem simulation
An implementation of the Bloch-McConnell equations for simulating MR spin dynamics.
Julia package for fuzzy inference
Polyhedral Computation Interface
Computing reachable states of dynamical systems in Julia
A Julia package for simulation, inference and learning of Hidden Markov Models.