Manuel Kauers,
"Computer Algebra for Special Function Inequalities"
, in Tewodros Amdeberhan, Victor Moll: Tapas in Experimental Mathematics, Serie Contemporary Mathematics, Vol. 457, AMS, Seite(n) 215-235, 2008, ISBN: 978-0-8218-4317-8
Original Titel:
Computer Algebra for Special Function Inequalities
Sprache des Titels:
Englisch
Original Buchtitel:
Tapas in Experimental Mathematics
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.