Interval Analysis : : and Automatic Result Verification / / Günter Mayer.
This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has steadily increased over the past many years. The author, an expert in the field, gently presents the theory of interval analysis through man...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DG Plus DeG Package 2017 Part 1 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2017] ©2017 |
Year of Publication: | 2017 |
Language: | English |
Series: | De Gruyter Studies in Mathematics ,
65 |
Online Access: | |
Physical Description: | 1 online resource (XIV, 518 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Interval analysis : : and automatic result verification / / Gunter Mayer.
by: Mayer, Gunter,
Published: (2017.) -
Index Philoneus / / Günter Mayer.
by: Mayer, Günter,
Published: ([2011]) -
Lebensform und Lebensnorm im Antiken Judentum : : Untersuchungen zur jüdischen Religionssoziologie und Theologie in hellenistisch-römischer Zeit / / Günter Mayer, Michael Tilly; hrsg. von Daniel Schumann.
by: Mayer, Günter,
Published: ([2015]) -
Automatic Verification of Parameterized Systems by Over-Approximation.
by: Jahundovics, Vladislavs.
Published: (2015.) -
Successfully marketing clinical trial results : winning in the healthcare business / / Gunter Umbach.
by: Umbach, Gunter.
Published: (2006.)