Scalable symbolic-numeric set computations in Julia
Computing reachable states of dynamical systems in Julia