Automated proofs of upper bounds on the running time of splitting algorithms. Kulikov, A.S.; Fedin, S.S. — 2004 Zapiski Nauchnykh Seminarov POMI