TY  - BOOK
AU  - Mayer,Gunter
TI  - Interval analysis: and automatic result verification 
T2  - De Gruyter Studies in Mathematics,
AV  - QA297.75 .M394 2017
U1  - 511.42 23
PY  - 2017///
CY  - Berlin, [Germany], Boston, [Massachusetts]
PB  - De Gruyter
KW  - Interval analysis (Mathematics)
KW  - Electronic books
N1  - Includes bibliographical references and indexes
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=4843236
ER  -