LazySets.jl: Scalable Symbolic-Numeric Set Computations

by Marcelo Forets (Universidad de la República, Uruguay) and Christian Schilling (Aalborg University, Denmark)*

*Both authors contributed equally.

Article

See paper.pdf.

Presentation

The JuliaCon 2021 Workshop tutorial is available on YouTube:

Code used in examples

See the file plots.jl in this repository. To generate the plots, do:

$ julia plots.jl