Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 2006
DBLP:	db/conf/dagstuhl/P5391.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 9 of 9  

Select a publication
Show	Title	Venue	Rating	Date
	Götz Alefeld, Zhengyu Wang. Verification of Solutions for Almost Linear Complementarity Problems.	Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 2006	(0)	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, 25.-30. September 2005 2006	(0)	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, 25.-30. September 2005 2006	(0)	2005
	James Demmel, Ioana Dumitriu, Olga Holtz. Toward accurate polynomial evaluation in rounded arithmetic (short report).	Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 2006	(0)	2005
	Borbála Fazekas, Michael Plum, Christian Wieners. Enclosure for the Biharmonic Equation.	Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 2006	(0)	2005
	Christian Jansson. Rigorous Results in Combinatorial Optimization.	Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 2006	(0)	2005
	Christian Keil. Lurupa - Rigorous Error Bounds in Linear Programming.	Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 2006	(0)	2005
	Philippe Langlois, Stef Graillat, Nicolas Louvet. Compensated Horner Scheme.	Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 2006	(0)	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, 25.-30. September 2005 2006	(0)	2005

Your query returned 9 matches in the database.