इसका टेक्स्ट मैसेज भेजे: Interval analysis : and automatic result verification / Günter Mayer.