Computations of multi-resultant with mechanization

From MaRDI portal
Publication:2572016