swMATH44731MaRDI QIDQ1334262
No author found.
Source code repository: https://github.com/IChollet/defmm
Described by source