Concentration-Compactness Argument Implementation Protocol | Concentration-Compactness Argument | Mathematics | NEROS