问题公式化的英文翻译

中文：问题公式化