No. Title Author Year
1 05391 Abstracts Collection -- Algebraic and Numerical Algorithms and Computer-assisted Proofs Buchberger, Bruno et al. 2006
2 05391 Executive Summary -- Numerical and Algebraic Algorithms and Computer-assisted Proofs Buchberger, Bruno et al. 2006
3 Compensated Horner Scheme Langlois, Philippe et al. 2006
4 Enclosure for the Biharmonic Equation Fazekas, Borbála et al. 2006
5 Integration of reliable algorithms into modeling software Luther, Wolfram et al. 2006
6 Lurupa - Rigorous Error Bounds in Linear Programming Keil, Christian 2006
7 Rigorous Results in Combinatorial Optimization Jansson, Christian 2006
8 Toward accurate polynomial evaluation in rounded arithmetic (short report) Demmel, James et al. 2006
9 Verification of Solutions for Almost Linear Complementarity Problems Alefeld, Götz et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 9


DROPS-Home | Fulltext Search | Imprint Published by LZI