TY  - RPRT
TI  - LazySets.jl: Scalable Symbolic-Numeric Set Computations
AU  - Marcelo Forets
AU  - Christian Schilling
PY  - 2021
DO  - 10.21105/jcon.00097
UR  - https://arxiv.org/abs/2110.01711
ID  - 2110.01711
ER  -