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
Host

ISSN  1862 - 4405

Dagstuhl Seminar 05391, 25.09. - 30.09.2005
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Alefeld, Götz
  • Auer, Ekaterina
  • Buchberger, Bruno
  • Demmel, James
  • Dumitriu, Ioana
  • Dyllong, Eva
  • Fazekas, Borbála
  • Graillat, Stef
  • Haßlinger, Gerhard
  • Holtz, Olga
  • Jansson, Christian
  • Keil, Christian
  • Langlois, Philippe
  • Louvet, Nicolas
  • Luther, Wolfram
  • Oishi, Shin'ichi
  • Plum, Michael
  • Rump, Siegfried M.
  • Traczinski, Daniela
  • Traczinski, Holger
  • Wang, Zhengyu
  • Wieners, Christian

  •   
    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 | Fulltext Search | Imprint
    Published by LZI