Computing and proving with pivots

From MaRDI portal
Publication:5397705