Manuel Kauers,
"Computer Algebra for Special Function Inequalities"
, Serie SFB F013 Reports, Nummer 2007-7, SFB F13, University of Linz, Altenbergerstraße 69, 4040 Linz, Austria, 3-2007
Original Titel:
Computer Algebra for Special Function Inequalities
Sprache des Titels:
Englisch
Original Kurzfassung:
Recent computer proofs for some special function inequalities are presented. The algorithmic ideas underlying these computer proofs are described, and the conceptual difference to existing algorithms for proving special function identities is discussed.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
SFB F13
Verlagsanschrift:
University of Linz, Altenbergerstraße 69, 4040 Linz, Austria