default search action
Reliable Computing, Volume 3
Volume 3, Number 1, February 1997
- Siegfried M. Rump
:
Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions. 5-16 - Eldon R. Hansen:
Sharpness in Interval Computations. 17-29 - Michael A. Wolfe:
An Interval Algorithm for Bounding the Ranges of Real-Valued Functions of One Real Variable. 31-50 - Anatoly V. Lakeyev, Vladik Kreinovich:
NP-Hard Classes of Linear Algebraic Systems with Uncertainties. 51-81 - Lubomir V. Kolev:
Use of Interval Slopes for the Irrational Part of Factorable Functions. 83-93 - Hung T. Nguyen, Vladik Kreinovich:
From Numerical Intervals to Set Intervals (Interval-Related Results Presented at the First International Workshop on Applications and Theory of Random Sets). 95-102
Volume 3, Number 2, May 1997
- Sergey P. Shary:
Algebraic Approach in the "Outer Problem" for Interval Linear Equations. 103-135 - Teruya Minamoto
Numerical Verifications of Solutions for Nonlinear Parabolic Equations in One-Space Dimensional Case. 137-147 - Vladik Kreinovich, Andrew P. Bernat:
Is Solar System Stable? A Remark. 149-154 - Leticia S. Chee:
Computing the Value of a Boolean Expression with Interval Inputs is NP-Hard. 155-172 - Josef Nedoma:
Sign-Stable Solutions of Column-Vague Linear Equation Systems. 173-180
Volume 3, Number 3, August 1997
- Svetoslav M. Markov:
Isomorphic Embeddings of Abstract Interval Systems. 199-207 - Zenon Kulpa:
Diagrammatic Representation of Interval Space in Proving Theorems about Interval Relations. 209-217 - Jürgen K. Weinhofer, Werner C. Haas:
H[infin]-Control Using Polynomial Matrices and Interval Arithmetic. 229-237 - Werner Hofschuster, Walter Krämer:
A Computer Oriented Approach to Get Sharp Reliable Error Bounds. 239-248 - Wolfram Luther, Werner Otten:
Approximation Error and Error Accumulation for the Landen Transform. 249-258 - Christian Bliek:
Fast Evaluation of Partial Derivatives and Interval Slopes. 259-268 - Ole Caprani, Kaj Madsen, Ole Stauning:
Existence Test for Asynchronous Interval Iteration. 269-275 - Marian Mrozek, Marcin Zelawski:
Heteroclinic Connections in the Kuramoto-Sivashinsky Equation: a Computer Assisted Proof. 277-285 - Hans-Jürgen Dobner, Stefan Ritter:
Attacking a Conjecture in Mathematical Physics by Combining Methods of Computational Analysis and Scientific Computing. 287-295 - Boris S. Dobronets
Two-sided Multigrid Method for Elliptic Boundary Value Problems. 297-303 - Benedito Melo Acióly, Benjamín René Callejas Bedregal:
A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space. 305-313 - Michel Rueher, Christine Solnon:
Concurrent Cooperating Solvers over Reals. 325-333 - Frédéric Benhamou, Laurent Granvilliers:
Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving. 335-344
Volume 3, Number 4, November 1997
- Ljiljana D. Petkovic, Slobodan Trickovic, Miodrag S. Petkovic:
Slope Methods of Higher Order for the Inclusion of Complex Roots of Polynomials. 349-362 - Jiri Rohn:
On Overestimations Produced by the Interval Gaussian Algorithm. 363-368 - Vyacheslav M. Nesterov:
Interval and Twin Arithmetics. 369-380 - Ferenc Kálovics, Gabriella Mészáros:
Finding Global Minima of Maximum Functions by Using Exclusion Functions without Derivatives. 381-399 - Yelena M. Smagina:
A New Approach to the Modal Regulator Synthesis for Interval Plant with Scalar Input. 401-410 - Volker Stahl:
Error Reduction of the Taylor Centered Form by Half and an Inner Estimation of the Range. 411-420 - Gerhard Heindl:
How to Compute Interval Inclusions of Geodetic Coordinates from Interval Inclusions of Cartesian Coordinates. 421-435 - Vladik Kreinovich, Scott A. Starks, Günter Mayer:
On a Theoretical Justification of the Choice of Epsilon-Inflation in PASCAL-XSC. 437-445 - A. Gabaldon:
Applications of Reliable Scientific Computing. 447-448 - Applications to Control. 448-452
- Luc Longpré, Martin Berz:
Interval and Complexity Workshops Back-to-Back with 1997 ACM Symposium on Theory of Computing (STOC'97). 453-457 - Monica L. Nogueira:
Interval-Related Talks at NASA URC Conference. 459-460 - Helmut Ratschek, Jon G. Rokne:
Reliable Computing Special Issue on Reliable Geometric Computations. 461-462
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: