swMATH28217MaRDI QIDQ39931
No author found.
Source code repository: https://github.com/JuliaReach/
Described by source