Atmospheric neutrinos are analytically computed using an operator formalism to solve their transport equations. It is based on depth-like ordered exponential operators similar to those used by Feynman in some physical problems. Formal solutions are found for a general primary cosmic ray spectrum, G(E), and they become simplified expressions when we assume a power-law dependence on energy. A complete treatment is given for the kaon case by introducing the K0L component. The problem of muon polarization is also taken into account. A comparison among our results with analytical and simulation calculations and experimental data is made. The agreement is quite good for energies above 10 GeV.