Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 4

Content of Issue 2
DOI: 10.3217/jucs-004-02
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