Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dagstuhl/ns2003.bht:"
download as .bib file
@proceedings{DBLP:conf/dagstuhl/2003ns,
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b96498},
doi = {10.1007/B96498},
isbn = {3-540-21260-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2003ns.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AlefeldM03,
author = {G{\"{o}}tz Alefeld and
G{\"{u}}nter Mayer},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {On Singular Interval Systems},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {191--197},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_10},
doi = {10.1007/978-3-540-24738-8\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AlefeldM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AuerKTT03,
author = {Ekaterina Auer and
Andr{\'{e}}s Kecskem{\'{e}}thy and
Martin T{\"{a}}ndl and
Holger Traczinski},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Interval Algorithms in Modeling of Multibody Systems},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {132--159},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_8},
doi = {10.1007/978-3-540-24738-8\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AuerKTT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BeelitzBLA03,
author = {Thomas Beelitz and
Christian H. Bischof and
Bruno Lang and
Klaus Schulte Althoff},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Result-Verifying Solution of Nonlinear Systems in the Analysis of
Chemical Processes},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {198--205},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_11},
doi = {10.1007/978-3-540-24738-8\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BeelitzBLA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BorovacH03,
author = {Stefan Borovac and
Gerhard Heindl},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Result Verification for Computational Problems in Geodesy},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {226--242},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_13},
doi = {10.1007/978-3-540-24738-8\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BorovacH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BuhlerDL03,
author = {Katja B{\"{u}}hler and
Eva Dyllong and
Wolfram Luther},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Reliable Distance and Intersection Computation Using Finite Precision
Geometry},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {160--190},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_9},
doi = {10.1007/978-3-540-24738-8\_9},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BuhlerDL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CorlissY03,
author = {George F. Corliss and
Jun Yu},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Interval Testing Strategies Applied to COSY's Interval and Taylor
Model Arithmetic},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {91--106},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_5},
doi = {10.1007/978-3-540-24738-8\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CorlissY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/FaustenH03,
author = {Daniela Fausten and
Gerhard Ha{\ss}linger},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Verified Numerical Analysis of the Performance of Switching Systems
in Telecommunication},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {206--225},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_12},
doi = {10.1007/978-3-540-24738-8\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/FaustenH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GranvilliersKM03,
author = {Laurent Granvilliers and
Vladik Kreinovich and
Norbert Th. M{\"{u}}ller},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Novel Approaches to Numerical Software with Result Verification},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {274--305},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_17},
doi = {10.1007/978-3-540-24738-8\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GranvilliersKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GrimmerPR03,
author = {Markus Grimmer and
Knut Petras and
Nathalie Revol},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Multiple Precision Interval Packages: Comparing Different Approaches},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {64--90},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_4},
doi = {10.1007/978-3-540-24738-8\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GrimmerPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Gudenberg03,
author = {J{\"{u}}rgen Wolff von Gudenberg},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {{OOP} and Interval Arithmetic - Language Support and Libraries},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {1--14},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_1},
doi = {10.1007/978-3-540-24738-8\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Gudenberg03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HofschusterK03,
author = {Werner Hofschuster and
Walter Kr{\"{a}}mer},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {{C-XSC} 2.0: {A} {C++} Library for Extended Scientific Computing},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {15--35},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_2},
doi = {10.1007/978-3-540-24738-8\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HofschusterK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KearfottNOR03,
author = {R. Baker Kearfott and
Markus Neher and
Shin'ichi Oishi and
Fabien Rico},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Libraries, Tools, and Interactive Systems for Verified Computations
Four Case Studies},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {36--63},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_3},
doi = {10.1007/978-3-540-24738-8\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KearfottNOR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KiefferW03,
author = {Michel Kieffer and
Eric Walter},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Nonlinear Parameter and State Estimation for Cooperative Systems in
a Bounded-Error Context},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {107--123},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_6},
doi = {10.1007/978-3-540-24738-8\_6},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/KiefferW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Lester03,
author = {David R. Lester},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Using {PVS} to Validate the Inverse Trigonometric Functions of an
Exact Arithmetic},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {259--273},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_16},
doi = {10.1007/978-3-540-24738-8\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Lester03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/OussenaHA03,
author = {Baya Oussena and
Abderrezak Henni and
Ren{\'{e}} Alt},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {An Application of Wavelet Theory to Early Breast Cancer},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {250--258},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_15},
doi = {10.1007/978-3-540-24738-8\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/OussenaHA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PutotGM03,
author = {Sylvie Putot and
Eric Goubault and
Matthieu Martel},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Static Analysis-Based Validation of Floating-Point Computations},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {306--313},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_18},
doi = {10.1007/978-3-540-24738-8\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/PutotGM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Schichl03,
author = {Hermann Schichl},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Global Optimization in the {COCONUT} Project},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {243--249},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_14},
doi = {10.1007/978-3-540-24738-8\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Schichl03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/WalterBJK03,
author = {Eric Walter and
Isabelle Braems and
Luc Jaulin and
Michel Kieffer},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Guaranteed Numerical Computation as an Alternative to Computer Algebra
for Testing Models for Identifiability},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {124--131},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_7},
doi = {10.1007/978-3-540-24738-8\_7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/WalterBJK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-21 14:27 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
