Algebraic and Numerical Algorithms and Computer-assisted Proofs

Keyphrases

Publications

volume 5391, 2006

Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 Algebraic and Numerical Algorithms and Computer-assisted Proofs 5391 (2006)

2005

Borbála Fazekas, Michael Plum, Christian Wieners
Enclosure for the Biharmonic Equation. Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)
Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)
Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, Holger Traczinski
Integration of reliable algorithms into modeling software. Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)
Philippe Langlois, Stef Graillat, Nicolas Louvet
Compensated Horner Scheme. Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)
Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump
05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)
Götz Alefeld, Zhengyu Wang
Verification of Solutions for Almost Linear Complementarity Problems. Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)
James Demmel, Ioana Dumitriu, Olga Holtz
Toward accurate polynomial evaluation in rounded arithmetic (short report). Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)
Christian Jansson
Rigorous Results in Combinatorial Optimization. Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)
Christian Keil
Lurupa - Rigorous Error Bounds in Linear Programming. Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)