Search Results for "mss-1.7.0.final-jboss-jdk6-5.1.0"

LazySets.jl is a Julia package for calculus with convex sets. The aim is to provide a scalable library for solving complex set-based problems, such as those encountered in differential inclusions or reachability analysis techniques in the domain of formal verification. Typically, one is confronted with a set-based recurrence with a given initial set and/or input sets, and for visualization purposes, the final result has to be obtained through an adequate projection onto low dimensions...

IntervalArithmetic.jl is a Julia package for validated numerics in Julia. All calculations are carried out using interval arithmetic where quantities are treated as intervals. The final result is a rigorous enclosure of the true value. We are working towards having the IntervalArithmetic library be conformant with the IEEE 1788-2015 Standard for Interval Arithmetic. To do so, we have incorporated tests from the ITF1788 test suite.

We are on a mission to make scientific computing more accessible and fun. Writing a notebook is not just about writing the final document, Pluto empowers the experiments and discoveries that are essential to getting there.