An implementation of Vincent's theorem

From MaRDI portal
Publication:1142536