Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/dagstuhl/ns2003.bht:"
@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} }
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.