Computing Adem Cohomology Operations
  We deal with the problem of obtaining explicit simplicial formulae defining the classical Adem cohomology operations at the cochain level. Having these formulae at hand, we design an algorithm for computing these operations for any finite simplicial set. 
Rocio Gonzalez-Diaz, Pedro Real
math.AT