Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Seminar Proceedings: Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005
- Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Dagstuhl Seminar Proceedings 05391, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 - Philippe Langlois, Stef Graillat, Nicolas Louvet:
Compensated Horner Scheme. - Götz Alefeld, Zhengyu Wang:
Verification of Solutions for Almost Linear Complementarity Problems. - Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, Holger Traczinski:
Integration of reliable algorithms into modeling software. - Christian Keil:
Lurupa - Rigorous Error Bounds in Linear Programming. - Christian Jansson:
Rigorous Results in Combinatorial Optimization. - James Demmel, Ioana Dumitriu, Olga Holtz:
Toward accurate polynomial evaluation in rounded arithmetic (short report). - Borbála Fazekas, Michael Plum, Christian Wieners:
Enclosure for the Biharmonic Equation. - Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. - Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs.
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.
last updated on 2024-06-27 20:31 CEST 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:
