Computer Proofs for Polynomial Identities in Arbitrary Many Variables

Publikation: Preprints, Working Paper und Forschungsberichte › Forschungsbericht

Originalsprache	Englisch
Erscheinungsort	Johannes Kepler University, 4040 Linz
Herausgeber	SFB
Seitenumfang	6
Publikationsstatus	Veröffentlicht - März 2004

Name	SFB F013 Reports
Nr.	2004-6

Wissenschaftszweige

@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",

}