OlivierHnt / RadiiPolynomial.jl
Library for computer-assisted proofs in dynamical systems
☆18Updated last week
Related projects: ⓘ
- A collection of B-spline tools in Julia☆51Updated 2 months ago
- A Julia package for the computation of hard, theoretically guaranteed bounds on the moments of jump-diffusion processes with polynomial d…☆15Updated 9 months ago
- Julia package for matrix pseudospectra and related quantities☆24Updated 3 months ago
- Manage your Julia dependencies from Python☆49Updated 3 weeks ago
- Boundary value problem (BVP) solvers for scientific machine learning (SciML)☆43Updated this week
- Families of polynomials☆22Updated last month
- ☆23Updated 6 months ago
- High level functions for analyzing the output of simulations☆79Updated 2 weeks ago
- Model and solve optimal control problems in Julia☆64Updated this week
- A library of premade problems for examples and testing differential equation solvers and other SciML scientific machine learning tools☆55Updated last month
- A Julia repository for linear algebra with infinite matrices☆34Updated last month
- Core functionality of ApproxFun☆12Updated last month
- Delay differential equation (DDE) solvers in Julia for the SciML scientific machine learning ecosystem. Covers neutral and retarded delay…☆59Updated last week
- DocumenterCitations.jl uses Bibliography.jl to add support for BibTeX citations and references in documentation pages generated by Docume…☆65Updated last year
- Rigorous function approximation using Taylor models in Julia☆63Updated last month
- Implementation of SIAN in Julia☆30Updated 5 months ago
- Solvers for steady states in scientific machine learning (SciML)☆30Updated last week
- Complex phase portraits for Julia.☆25Updated 4 months ago
- Automatic differentiation of implicit functions☆122Updated last month
- Unitful and differentiable gravitational N-body simulation code in Julia☆32Updated last month
- Taylor-mode automatic differentiation for higher-order derivatives☆68Updated last month
- Estimate the absolute performance of a piece of Julia code☆98Updated 8 months ago
- Automatic optimization and parallelization for Scientific Machine Learning (SciML)☆78Updated 2 years ago
- Probability bounds analysis in Julia☆25Updated 2 years ago
- Exact linear algebra functions☆40Updated 3 weeks ago
- Functions useful when using Pluto in teaching.☆59Updated this week
- ☆29Updated 3 weeks ago
- Fast uncertainty quantification for scientific machine learning (SciML) and differential equations☆65Updated 3 weeks ago
- An abstract interface for automatic differentiation.☆136Updated 2 months ago
- Example of the use of jlcode and the JuliaMono font to write Julia code in LaTeX☆17Updated 2 years ago