Towards the automatic mathematician

From MaRDI portal
Publication:2055841