MaRDI QIDQ5972480swMATHFDO
Official website https://www3.risc.jku.at/research/combinat/software/ergosum/RISC/GenOmega.html
This page was built for software: GenOmega