Issue 2

Submission Procedure

User: anonymous

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Articles by Topics

Articles by Author

Board of Editors

Geographical Mashup

Submission Procedure

Printed Publications

Collection of other papers

Content of Issue 2
Foreword to the Special Issue	J.-M. Muller	89
Global Error Visualization	R. Aïd, L. Testard, G. Villard	90
The SNAP Project: Building Validated Floating Point Units	H. A. Al-twaijry, S. F. Oberman, S. T. Fu, M. J. Flynn	99
Spline-Fourier Approximations of Discontinuous Waves	R. Anguelov	110
Rigorous Numerical Studies of the Existence of Periodic Orbits for the Hénon Map	Z. Galias	114
A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems	L. Granvilliers	125
Constructive Error Analysis	W. Krämer	147
Pascal Subroutines for Solving Some Problems in Interval LP	F. Mráz, M. Kursch, D. Panuska 1	164
Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy	Y. Nakaya, S. Oishi	171
Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance	M. Neher	178
Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems	S. Oishi	193
Implicit Methods for Enclosing Solutions of ODEs	R. Rihm	202