scientific article

zbMath1244.33024MaRDI QIDQ2894192

Victor H. Moll, Christoph Koutschan

Publication date: 29 June 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

integralsautomatic proofs

Mathematics Subject Classification ID

Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items

Unnamed Item, HolonomicFunctions, Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order, Creative Telescoping for Holonomic Functions

Uses Software

• DEtools