کتاب زبان اصلی Interval Analysis اثر Gunter Mayer کتاب تحلیل فاصله ای و تأیید نتایج خودکار مطالعات ریاضی دوگرویتر 65 Interval Analysis And Automatic Result Verification de Gruyter Studies in Mathematics نوشته گونتر مایر Gunter Mayer در سال 2015 منتشر شده است این کتاب به معرفی روش تحلیل فاصله ای و کاربرد آن در تأیید خودکار نتایج مسائل ریاضی می پردازد تحلیل فاصله ای روشی برای به دست آوردن نتایج قطعی عددی در محاسبات عددی است نویسنده ضمن تشریح الگوریتم های مربوط کاربرد این روش را در زمینه هایی مانند حل دستگاه های معادلات غیرخطی بهینه سازی و روش های عددی نشان می دهد