Portal - Seminar 05391

	Dagstuhl Seminar Proceedings 05391 Algebraic and Numerical Algorithms and Computer-assisted Proofs B. Buchberger, S. Oishi, M. Plum, S. M. Rump (Eds.)	published by LZI ISSN 1862 - 4405
	Dagstuhl Seminar 05391, 25.09. - 30.09.2005

Additional Information

Seminar Homepage
License
Search Publication Server

Authors

05391 Abstracts Collection -- Algebraic and Numerical Algorithms and Computer-assisted Proofs

Authors: Buchberger, Bruno ; Oishi, Shin'ichi ; Plum, Michael ; Rump, Siegfried M.

Abstract | Document (219 KB) | BibTeX

05391 Executive Summary -- Numerical and Algebraic Algorithms and Computer-assisted Proofs

Authors: Buchberger, Bruno ; Jansson, Christian ; Oishi, Shin'ichi ; Plum, Michael ; Rump, Siegfried M.

Abstract | Document (100 KB) | BibTeX

Compensated Horner Scheme

Authors: Langlois, Philippe ; Graillat, Stef ; Louvet, Nicolas

Abstract | Document (255 KB) | BibTeX

Enclosure for the Biharmonic Equation

Authors: Fazekas, Borbála ; Plum, Michael ; Wieners, Christian

Abstract | Document (169 KB) | BibTeX

Integration of reliable algorithms into modeling software

Authors: Luther, Wolfram ; Haßlinger, Gerhard ; Auer, Ekaterina ; Dyllong, Eva ; Traczinski, Daniela ; Traczinski, Holger

Abstract | Document (515 KB) | BibTeX

Lurupa - Rigorous Error Bounds in Linear Programming

Authors: Keil, Christian

Abstract | Document (432 KB) | BibTeX

Rigorous Results in Combinatorial Optimization

Authors: Jansson, Christian

Abstract | Document (208 KB) | BibTeX

Toward accurate polynomial evaluation in rounded arithmetic (short report)

Authors: Demmel, James ; Dumitriu, Ioana ; Holtz, Olga

Abstract | Document (239 KB) | BibTeX

Verification of Solutions for Almost Linear Complementarity Problems

Authors: Alefeld, Götz ; Wang, Zhengyu

Abstract | Document (193 KB) | BibTeX

DROPS-Home | Imprint | Privacy