In this issue

Papers published: 12

Total pages: 130

Printed version: Paperback

open access

Go to issue

« Previous
Issue 4(2)
 Next »
Issue No
from 0 to 29
Number No
JUCS - Journal of Universal Computer Science 4(2) (1998)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Editorial
Foreword to the Special Issue
Jean-Michel Muller
10.3217/jucs-004-02
 28-02-1998
 Unique: 175 | Total: 224  | Access Period:
 89-89
HTML
XML
PDF
Research Article
Global Error Visualization
R. Aïd, L. Testard, G. Villard
10.3217/jucs-004-02-0090
 28-02-1998
 Unique: 201 | Total: 249  | Access Period:
 90-98
HTML
XML
PDF
Research Article
The SNAP Project: Building Validated Floating Point Units
Hesham Al-Twaijry, Stuart Oberman, Steve Fu, Michael Flynn
10.3217/jucs-004-02-0099
 28-02-1998
 Unique: 178 | Total: 223  | Access Period:
 99-109
HTML
XML
PDF
Research Article
Spline-Fourier Approximations of Discontinuous Waves
Roumen Anguelov
10.3217/jucs-004-02-0110
 28-02-1998
 Unique: 168 | Total: 206  | Access Period:
 110-113
HTML
XML
PDF
Research Article
Rigorous Numerical Studies of the Existence of Periodic Orbits for the Hénon Map
Zbigniew Galias
10.3217/jucs-004-02-0114
 28-02-1998
 Unique: 177 | Total: 218  | Access Period:
 114-124
HTML
XML
PDF
Research Article
A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems
Laurent Granvilliers
10.3217/jucs-004-02-0125
 28-02-1998
 Unique: 191 | Total: 278  | Access Period:
 125-146
HTML
XML
PDF
Research Article
Constructive Error Analysis
Walter Krämer
10.3217/jucs-004-02-0147
 28-02-1998
 Unique: 184 | Total: 228  | Access Period:
 147-163
HTML
XML
PDF
Research Article
Pascal Subroutines for Solving Some Problems in Interval LP
Frantisek Mráz, Martin Kursch, Daniel Panuska
10.3217/jucs-004-02-0164
 28-02-1998
 Unique: 189 | Total: 228  | Access Period:
 164-170
HTML
XML
PDF
Research Article
Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy
Yusuke Nakaya, Shin Oishi
10.3217/jucs-004-02-0171
 28-02-1998
 Unique: 191 | Total: 225  | Access Period:
 171-177
HTML
XML
PDF
Research Article
Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance
Markus Neher
10.3217/jucs-004-02-0178
 28-02-1998
 Unique: 185 | Total: 229  | Access Period:
 178-192
HTML
XML
PDF
Research Article
Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems
Shin Oishi
10.3217/jucs-004-02-0193
 28-02-1998
 Unique: 223 | Total: 271  | Access Period:
 193-201
HTML
XML
PDF
Research Article
Implicit Methods for Enclosing Solutions of ODEs
Robert Rihm
10.3217/jucs-004-02-0202
 28-02-1998
 Unique: 182 | Total: 229  | Access Period:
 202-209
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK