English: So this is done by mathematical analysis or by manual or semi automated verification techniques.
Telugu: కాబట్టి ఇది గణిత విశ్లేషణచే చేయబడుతుంది లేదా మాన్యువల్ లేదా సెమీ ఆటోమేటెడ్ ధృవీకరణ పద్ధతులు ద్వారా జరుగుతుంది.