Computer Proofs for Polynomial Identities in Arbitrary Many Variables

Research output: Working paper and reports › Research report

Original language	English
Place of Publication	Johannes Kepler University, 4040 Linz
Publisher	SFB
Number of pages	6
Publication status	Published - Mar 2004

Name	SFB F013 Reports
No.	2004-6

Fields of science

@techreport{e9ef6985e7e4421e93e9f616c3a83571,

title = "Computer Proofs for Polynomial Identities in Arbitrary Many Variables",

author = "Manuel Kauers",

year = "2004",

month = mar,

language = "English",

series = "SFB F013 Reports",

publisher = "SFB",

number = "2004-6",

type = "WorkingPaper",

institution = "SFB",

}