Verification of calculations special functions in CAS using the Frobenius methodтезисы доклада