Nonlinear power spectrum in the presence of massive neutrinos: Perturbation theory approach, galaxy bias, and parameter forecasts | Synapse