SynTReN

From MaRDI portal