We present predictions for the prompt-neutrino flux arising from the decay of charmed mesons and baryons produced by the interactions of high-energy cosmic rays in the Earth's atmosphere, making use of a QCD approach on the basis of the general-mass variable-flavor-number scheme for the description of charm hadroproduction at NLO, complemented by a consistent set of fragmentation functions. We compare the theoretical results to those already obtained by our and other groups with different theoretical approaches. We provide comparisons with the experimental results obtained by the IceCube Collaboration in two different analyses and we discuss the implications for parton distribution functions.

We provide a fast and precise Mellin-space implementation of the $O(\alpha_s)$ heavy flavor Wilson coefficients for charged current deep inelastic scattering processes. They are of importance for the extraction of the strange quark distribution in neutrino-nucleon scattering and the QCD analyses of the HERA charged current data. Errors in the literature are corrected. We also discuss a series of more general parton parameterizations in Mellin space.