@InProceedings{buchberger_et_al:DagSemProc.05391.1,
author = {Buchberger, Bruno and Oishi, Shin'ichi and Plum, Michael and Rump, Siegfried M.},
title = {{05391 Abstracts Collection – Algebraic and Numerical Algorithms and Computer-assisted Proofs}},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs},
pages = {1--15},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5391},
editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.1},
URN = {urn:nbn:de:0030-drops-4555},
doi = {10.4230/DagSemProc.05391.1},
annote = {Keywords: Self-validating methods, computer algebra, computer-assisted proofs, real number algorithms}
}
@InProceedings{buchberger_et_al:DagSemProc.05391.2,
author = {Buchberger, Bruno and Jansson, Christian and Oishi, Shin'ichi and Plum, Michael and Rump, Siegfried M.},
title = {{05391 Executive Summary – Numerical and Algebraic Algorithms and Computer-assisted Proofs}},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs},
pages = {1--5},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5391},
editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.2},
URN = {urn:nbn:de:0030-drops-4549},
doi = {10.4230/DagSemProc.05391.2},
annote = {Keywords: Self-validating methods, computer algebra, computer-assisted proofs, real number algorithms}
}
@InProceedings{langlois_et_al:DagSemProc.05391.3,
author = {Langlois, Philippe and Graillat, Stef and Louvet, Nicolas},
title = {{Compensated Horner Scheme}},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5391},
editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.3},
URN = {urn:nbn:de:0030-drops-4423},
doi = {10.4230/DagSemProc.05391.3},
annote = {Keywords: Polynomial evaluation, Horner scheme, error-free transformation, floating point arithmetic, accuracy}
}
@InProceedings{fazekas_et_al:DagSemProc.05391.4,
author = {Fazekas, Borb\'{a}la and Plum, Michael and Wieners, Christian},
title = {{Enclosure for the Biharmonic Equation}},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs},
pages = {1--5},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5391},
editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.4},
URN = {urn:nbn:de:0030-drops-4489},
doi = {10.4230/DagSemProc.05391.4},
annote = {Keywords: Biharmonic problem, enclosure, finite elements}
}
@InProceedings{luther_et_al:DagSemProc.05391.5,
author = {Luther, Wolfram and Ha{\ss}linger, Gerhard and Auer, Ekaterina and Dyllong, Eva and Traczinski, Daniela and Traczinski, Holger},
title = {{Integration of reliable algorithms into modeling software}},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs},
pages = {1--17},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5391},
editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.5},
URN = {urn:nbn:de:0030-drops-4441},
doi = {10.4230/DagSemProc.05391.5},
annote = {Keywords: Reliable algorithms, stochastic traffic modeling, multibody modeling tools, geometric modeling}
}
@InProceedings{keil:DagSemProc.05391.6,
author = {Keil, Christian},
title = {{Lurupa - Rigorous Error Bounds in Linear Programming}},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs},
pages = {1--11},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5391},
editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.6},
URN = {urn:nbn:de:0030-drops-4458},
doi = {10.4230/DagSemProc.05391.6},
annote = {Keywords: Linear programming, rigorous error bounds, netlib, interval arithmetic}
}
@InProceedings{jansson:DagSemProc.05391.7,
author = {Jansson, Christian},
title = {{Rigorous Results in Combinatorial Optimization}},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs},
pages = {1--8},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5391},
editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.7},
URN = {urn:nbn:de:0030-drops-4467},
doi = {10.4230/DagSemProc.05391.7},
annote = {Keywords: Combinatorial Optimization, Semidefinite Programming, Ill-posed Problems, Verification Methods}
}
@InProceedings{demmel_et_al:DagSemProc.05391.8,
author = {Demmel, James and Dumitriu, Ioana and Holtz, Olga},
title = {{Toward accurate polynomial evaluation in rounded arithmetic (short report)}},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs},
pages = {1--15},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5391},
editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.8},
URN = {urn:nbn:de:0030-drops-4477},
doi = {10.4230/DagSemProc.05391.8},
annote = {Keywords: Accurate polynomial evaluation, models or rounded arithmetic}
}
@InProceedings{alefeld_et_al:DagSemProc.05391.9,
author = {Alefeld, G\"{o}tz and Wang, Zhengyu},
title = {{Verification of Solutions for Almost Linear Complementarity Problems}},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs},
pages = {1--21},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5391},
editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.9},
URN = {urn:nbn:de:0030-drops-4431},
doi = {10.4230/DagSemProc.05391.9},
annote = {Keywords: Complementarity problems, verification of solutions}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing