default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dagstuhl/P5391.bht:"
download as .bib file
@proceedings{DBLP:conf/dagstuhl/2005P5391,
editor = {Bruno Buchberger and
Shin'ichi Oishi and
Michael Plum and
Siegfried M. Rump},
title = {Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30.
September 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05391},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/05391/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2005P5391.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AlefeldW05,
author = {G{\"{o}}tz Alefeld and
Zhengyu Wang},
editor = {Bruno Buchberger and
Shin'ichi Oishi and
Michael Plum and
Siegfried M. Rump},
title = {Verification of Solutions for Almost Linear Complementarity Problems},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30.
September 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05391},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/443},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AlefeldW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BuchbergerJOPR05,
author = {Bruno Buchberger and
Christian Jansson and
Shin'ichi Oishi and
Michael Plum and
Siegfried M. Rump},
editor = {Bruno Buchberger and
Shin'ichi Oishi and
Michael Plum and
Siegfried M. Rump},
title = {05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted
Proofs},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30.
September 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05391},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/454},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BuchbergerJOPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BuchbergerOPR05,
author = {Bruno Buchberger and
Shin'ichi Oishi and
Michael Plum and
Siegfried M. Rump},
editor = {Bruno Buchberger and
Shin'ichi Oishi and
Michael Plum and
Siegfried M. Rump},
title = {05391 Abstracts Collection - Algebraic and Numerical Algorithms and
Computer-assisted Proofs},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30.
September 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05391},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/455},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BuchbergerOPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DemmelDH05,
author = {James Demmel and
Ioana Dumitriu and
Olga Holtz},
editor = {Bruno Buchberger and
Shin'ichi Oishi and
Michael Plum and
Siegfried M. Rump},
title = {Toward accurate polynomial evaluation in rounded arithmetic (short
report)},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30.
September 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05391},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/447},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DemmelDH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/FazekasPW05,
author = {Borb{\'{a}}la Fazekas and
Michael Plum and
Christian Wieners},
editor = {Bruno Buchberger and
Shin'ichi Oishi and
Michael Plum and
Siegfried M. Rump},
title = {Enclosure for the Biharmonic Equation},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30.
September 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05391},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/448},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/FazekasPW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Jansson05,
author = {Christian Jansson},
editor = {Bruno Buchberger and
Shin'ichi Oishi and
Michael Plum and
Siegfried M. Rump},
title = {Rigorous Results in Combinatorial Optimization},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30.
September 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05391},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/446},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Jansson05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Keil05,
author = {Christian Keil},
editor = {Bruno Buchberger and
Shin'ichi Oishi and
Michael Plum and
Siegfried M. Rump},
title = {Lurupa - Rigorous Error Bounds in Linear Programming},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30.
September 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05391},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/445},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Keil05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LangloisGL05,
author = {Philippe Langlois and
Stef Graillat and
Nicolas Louvet},
editor = {Bruno Buchberger and
Shin'ichi Oishi and
Michael Plum and
Siegfried M. Rump},
title = {Compensated Horner Scheme},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30.
September 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05391},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/442},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LangloisGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LutherHADTT05,
author = {Wolfram Luther and
Gerhard Ha{\ss}linger and
Ekaterina Auer and
Eva Dyllong and
Daniela Traczinski and
Holger Traczinski},
editor = {Bruno Buchberger and
Shin'ichi Oishi and
Michael Plum and
Siegfried M. Rump},
title = {Integration of reliable algorithms into modeling software},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30.
September 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05391},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/444},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LutherHADTT05.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.
retrieved on 2025-02-17 07:18 CET 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:
