We have hosted the application lazysets jl in order to run this application in our online workstations with Wine or directly.


Quick description about lazysets jl:

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. This library implements types to construct set formulas and methods to efficiently and accurately approximate the projection in low dimensions.

Features:
  • Examples available
  • This library has been applied in a number of scientific works
  • Several projects in the Julia technical computing stack use this library
  • Scalable Symbolic-Numeric Set Computations
  • Documentation available
  • LazySets.jl is a registered Julia package and as such you can install it by activating the pkg mode


Programming Language: Julia.
Categories:
Mathematics

Page navigation:

©2024. Winfy. All Rights Reserved.

By OD Group OU – Registry code: 1609791 -VAT number: EE102345621.