In this issue

Papers published: 12

Total pages: 130

Unique views: 6889

Total views: 8128

open access

Go to issue

« Previous
Issue 4(2)
 Next »
Issue No
from 0 to 30
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: 579 | Total: 673  | 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: 609 | Total: 718  | 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: 611 | Total: 719  | 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: 556 | Total: 650  | 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: 569 | Total: 675  | 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: 553 | Total: 686  | 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: 543 | Total: 642  | 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: 583 | Total: 698  | 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: 591 | Total: 684  | 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: 558 | Total: 668  | 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: 591 | Total: 679  | 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: 546 | Total: 636  | Access Period:
 202-209
HTML
XML
PDF

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

OK