Search dblp for Publications

export results for "toc:db/books/collections/U1990.bht:"

 download as .bib file

@incollection{DBLP:books/ap/90/Adams90,
  author       = {E. Adams},
  editor       = {Christian Ullrich},
  title        = {Periodic Solutions: Enclosure, Verification, and Applications},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {199--245},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50016-6},
  doi          = {10.1016/B978-0-12-708245-5.50016-6},
  timestamp    = {Tue, 02 Jun 2020 16:51:29 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/Adams90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ap/90/Alefeld90,
  author       = {G{\"{o}}tz Alefeld},
  editor       = {Christian Ullrich},
  title        = {Enclosure Methods},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {55--72},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50008-7},
  doi          = {10.1016/B978-0-12-708245-5.50008-7},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/Alefeld90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ap/90/Behnke90,
  author       = {Henning Behnke},
  editor       = {Christian Ullrich},
  title        = {The Determination of Guaranteed Bounds to Eigenvalues with the Use
                  of Variational Methods {II}},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {155--170},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50013-0},
  doi          = {10.1016/B978-0-12-708245-5.50013-0},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/Behnke90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ap/90/Bohlender90,
  author       = {Gerd Bohlender},
  editor       = {Christian Ullrich},
  title        = {What Do We Need Beyond {IEEE} Arithmetic?},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {1--32},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50006-3},
  doi          = {10.1016/B978-0-12-708245-5.50006-3},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/Bohlender90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ap/90/Collatz90,
  author       = {Lothar Collatz},
  editor       = {Christian Ullrich},
  title        = {Guaranteed Inclusions of Solutions of some Types of Boundary Value
                  Problems},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {189--198},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50015-4},
  doi          = {10.1016/B978-0-12-708245-5.50015-4},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/Collatz90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ap/90/Corliss90,
  author       = {George F. Corliss},
  editor       = {Christian Ullrich},
  title        = {Industrial Applications of Interval Techniques},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {91--113},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50010-5},
  doi          = {10.1016/B978-0-12-708245-5.50010-5},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/Corliss90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ap/90/GoerischH90,
  author       = {Friedrich Goerisch and
                  Zhiqing He},
  editor       = {Christian Ullrich},
  title        = {The Determination of Guaranteed Bounds to Eigenvalues with the Use
                  of Variational Methods {I}},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {137--153},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50012-9},
  doi          = {10.1016/B978-0-12-708245-5.50012-9},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/GoerischH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ap/90/Hafner90,
  author       = {Karlheinz Hafner},
  editor       = {Christian Ullrich},
  title        = {Chips for High Precision Arithmetic},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {33--54},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50007-5},
  doi          = {10.1016/B978-0-12-708245-5.50007-5},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/Hafner90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ap/90/KaucherS90,
  author       = {Edgar Kaucher and
                  Carsten W. Schulz{-}Rinne},
  editor       = {Christian Ullrich},
  title        = {Aspects of Self-Validating Numerics in Banach Spaces},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {269--299},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50018-x},
  doi          = {10.1016/B978-0-12-708245-5.50018-X},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/KaucherS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ap/90/Rall90,
  author       = {Louis B. Rall},
  editor       = {Christian Ullrich},
  title        = {Differentiation Arithmetics},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {73--90},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50009-9},
  doi          = {10.1016/B978-0-12-708245-5.50009-9},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/Rall90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ap/90/Schroder90,
  author       = {Johann Schr{\"{o}}der},
  editor       = {Christian Ullrich},
  title        = {Numerical Algorithms for Existence Proofs and Error Estimates for
                  Two-Point Boundary Value Problems},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {247--268},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50017-8},
  doi          = {10.1016/B978-0-12-708245-5.50017-8},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/Schroder90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ap/90/Stetter90,
  author       = {Hans J. Stetter},
  editor       = {Christian Ullrich},
  title        = {Validated Solution of Initial Value Problems for {ODE}},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {171--187},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50014-2},
  doi          = {10.1016/B978-0-12-708245-5.50014-2},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/Stetter90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ap/90/Ullrich90,
  author       = {Christian P. Ullrich},
  editor       = {Christian Ullrich},
  title        = {Programming Languages for Enclosure Methods},
  booktitle    = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  pages        = {115--136},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/b978-0-12-708245-5.50011-7},
  doi          = {10.1016/B978-0-12-708245-5.50011-7},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/Ullrich90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/ap/90/U1990,
  editor       = {Christian Ullrich},
  title        = {Computer Arithmetic and Self-Validating Numerical Methods},
  series       = {Notes and reports in mathematics in science and engineering},
  volume       = {7},
  publisher    = {Academic Press},
  year         = {1990},
  url          = {https://doi.org/10.1016/c2013-0-11635-2},
  doi          = {10.1016/C2013-0-11635-2},
  isbn         = {978-0-12-708245-5},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ap/90/U1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.