Case splitting in an automatic theorem prover for real-valued special functions
scientific article; zbMATH DE number 6184688