swMATH46768MaRDI QIDQ5974297
No author found.
Source code repository: https://gitlab.mpi-sws.org/iris/iris