Computer Proofs of Matrix Product

P.J. Larcombe, Burkhard Zimmermann, Axel Riese

Research output: Working paper and reports › Research report

Original language	English
Place of Publication	4040 Linz
Publisher	J. Kepler Universität, Linz, SFB Report 2003-11
Publication status	Published - 2003

Name	SFB F013 Reports
No.	2003-11

Fields of science

@techreport{6ec39df352dd4504913d086dbeb6a0b8,

title = "Computer Proofs of Matrix Product",

author = "P.J. Larcombe and Burkhard Zimmermann and Axel Riese",

year = "2003",

language = "English",

series = "SFB F013 Reports",

publisher = "J. Kepler Universit{\"a}t, Linz, SFB Report 2003-11",

number = "2003-11",

type = "WorkingPaper",

institution = "J. Kepler Universit{\"a}t, Linz, SFB Report 2003-11",

}