swMATH36845MaRDI QIDQ52547
No author found.
Source code repository: https://github.com/oscar-system/Oscar.jl
