NA Digest Sunday, May 14, 1995 Volume 95 : Issue 20

Today's Editor:
Cleve Moler
The MathWorks, Inc.

Submissions for NA Digest:

Mail to

Information about NA-NET:

Mail to

URL for the World Wide Web: -------------------------------------------------------

From: Fred Kus <>
Date: Wed, 10 May 1995 15:15:43 -0400
Subject: Cray Fortran Bit Manipulation Routines


I am trying to port an old Cray-specific code to my workstation. The code
calls several Cray bit manipulation routines : movbit, bitvec, csmg, and
shift. I would like to use the new Fortran 90 routines mvbits, ibset,
btest, and ishift. Unfortunately, I do not have any Cray documentation.
Does anyone know the precise relation between these 2 sets of routines ?

Thanks in advance.


Fred W. Kus INTERNET: fred@McMaster.CA
Computing & Information PHONE: (905) 525-9140 ext. 24160
Services FAX (905) 528-3773
McMaster University A. N. Bourns Bldg. Rm 131C
Hamilton, Canada L8S 4M1


From: Brahim Amaziane <>
Date: Thu, 11 May 1995 11:56:35 EDT
Subject: Nonlinear Degenerate Diffusion-convection Equation


I'm looking for some references on the Numerical Analysis of the problem:

& 0\leq u(x,t)\leq 1 \cr
& {\partial u\over \partial t} -{\partial\over \partial x}\left( a(u)
{\partial u\over \partial x}\right) + {\partial b(u)\over \partial x} = f \cr
& \hbox {with boundary and initial conditions.}\cr}
where $a$ is a nonlinear function such that a(0) = a(1) = 0, i.e. we have
a nonlinear parabolic degenerated diffusion-convection equation.

Thanks in advance.

Universite de Pau et des Pays de l'Adour
Laboratoire de Mathematiques Appliquees
Av. de l'Universite

TEL: (33) 59 92 31 68 ou 59 92 30 47
FAX: (33) 59 92 32 00


From: Walter Poor <>
Date: Thu, 11 May 95 08:15:27 -0400
Subject: Piecewise Constant Contours

Let f : R^2 ---> R be a real-valued function of two variables.

Much software exists for contour plots of f, given computed
data at the points in a grid. All such software seems to
assume that f is differentiable, and proceeds by
interpolation using appropriate differentiable functions.

Instead of differentiability of f, assume the following:

o The function f is piecewise-constant.

o The boundaries of the level sets (that is, the contours)
are piecewise differentiable, with each point of
non-differentiability belonging to the boundary of at
least three level sets.

Does any software exist for generalized contour plots of f in
this case?

An example may illustrate the initial difficulty. Suppose
that the selected level values for the contour plot are the
numbers c_1 < c_2 < ... < c_n. The desired contour curves
are then approximations to the curves f^{-1}(c_1), ...,

Suppose that the values of f at a pair of neighboring grid
points p_i_j and p_i_j+1 satisfy the inequalities

f(p_i_j) < c_1, f(p_i_j+1) > c_3.

Under the assumption of differentiability, the contour
curves f^{-1}(c_1), f^{-1}(c_2), and f^{-1}(c_3) would
all intersect the line segment joining the grid points
p_i_j and p_i_j+1, with the crossing points determined
by the interpolator.

Under the assumption that f is piecewise constant, however,
there is no reason even to plot the contour curve f^{-1}(c_2)
based on the data from these two grid points. In fact:

o Depending on how the data are binned, exactly one of the
contour curves f^{-1}(c_1) and f^{-1}(c_3) should
intersect the line segment joining the grid points p_i_j
and p_i_j+1.

o The presence or absence of the contour curve f^{-1}(c_2)
depends on the value of f at other neighboring grid points.

It is easy to generate generalized contour plots for f that
ignore the constraint on the boundaries of the level sets.
Incorporating that constraint is more difficult, and it would be
nice if the software already exists somewhere.

Thank you,

Walter Poor, The MITRE Corporation


From: Sivan Toledo <>
Date: Fri, 12 May 95 13:56:36 EDT
Subject: Out of Core Methods

I am looking for references on the origins and uses of out of core
methods. I am writing a PhD thesis on the subject and I would like to
have as a complete a survey as possible of related work and the
origins of various methods.

Thanks, Sivan Toledo


From: Stephen Vavasis <vavasis@CS.Cornell.EDU>
Date: Mon, 8 May 1995 23:30:14 -0400
Subject: New Finite Element Mesh Generation Software

A new software package for fully automatic unstructured finite element
(volumetric) mesh generation in three dimensions is now available.
The package is called QMG. It is written in C++ and MATLAB and is
embedded in MATLAB. It includes functions to generate
three-dimensional polyhedral objects (geometric modeling), a mesh
generation routine (using an algorithm developed by Scott Mitchell of
Sandia and me), and an elementary finite element solver.

Aside from the requirement that it be polyhedral, the object to be
meshed can be arbitrarily complicated. It can have holes and internal

The mesh generator produces an unstructured tetrahedral mesh. The
local density of the mesh is controlled by a user-specified function.
There is also a function for refining an existing mesh by powers of 2
for use in multigrid.

The documentation for this software is on-line at the following URL:
The actual source code is
Please consult the installation guide in the on-line documentation
for instructions on how to install the software.

The mesh generator (but not the geometric modeler nor finite element
solver) is available in stand-alone format for those who don't have

-- Steve Vavasis


From: Are Magnus Bruaset <>
Date: Fri, 12 May 1995 16:06:19 +0200
Subject: New Book on Iterative Methods

The book

A Survey of Preconditioned Iterative Methods

by Are Magnus Bruaset was recently published as volume 328 of the Pitman
Research Notes In Mathematics Series, Longman Scientific & Technical.
(ISBN 0 582 27654 3, U.K. pounds 24.00 + shipping cost).

This survey is intended to present a wide selection of recent contributions
to the field of iterative methods for sparse linear systems, with a
particular focus on Krylov subspace solvers. The presentation is aimed at a
wide audience, including graduate students, researchers and practitioners.
Through its extensive bibliography (431 refs.) it may also serve as an entry
point to the existing research literature.

For further details concerning this publication, see the Web page

which also contains links to PostScript versions of the table of contents
and the first chapter.

For ordering please contact

Longman Higher Education
Longman House
Burnt Mill
Essex CM20 2JE
United Kingdom

Phone: +44 279 426721
Fax: +44 279 431059

Best regards

Are Magnus Bruaset
SINTEF Applied Mathematics
Oslo, Norway


From: Peter R. Turner <>
Date: Mon, 8 May 95 10:38:19 EDT
Subject: New Book/ Study Guide in Numerical Analysis

A new book ISBN 0-333-58665-4
"Numerical Analysis" by Peter R Turner
has been published in the MacMillan (UK) "College Work Out" series.
It is being distributed in the US by Scholium International, New York.

This is primarily intended as a student study-guide to accompany
undergraduate Numerical Analysis courses. It has also been used as
a text for an introductory course. The topics covered include those in
most undergraduate courses:
Number representation, Arithmetic and Errors
Finite Difference Operators (brief introductory material)
Summation of Series
Iterative solution of Equations
Polynomial Equations
Linear Equations (and eigenvalues, briefly)
Polynomial Interpolation
Spline Interpolation
Linear Least Squares Approximation
Numerical Differentiation
Numerical Integration
Differential Equations
The book is made up largely of worked examples and exercises with brief
summaries of the essential material.

Peter Turner

Peter R Turner Office (410) 293-6732
Mathematics Department FAX (410) 293-4883
United States Naval Academy
Annapolis, MD 21402-5002


From: Bettina Heimsoeth <gKI@IWR.Uni-Heidelberg.De>
Date: Wed, 10 May 1995 14:12:31 -0500
Subject: Industrial Mathematics Digest


First issue of IM-Net (Industrial Mathematics Digest)
appears May, 23, 1995

IM-Net is an electronic newsletter for mathematics in science and

You will find there: - announcements of conferences
- calendars of events
- job offers for mathematics in industry
- contents of journals related to
industrial mathematics
- discussions of open problems
- requests for mathematical references or
software solutions

To place a message in the IM-Net newsletter, mail it to

To receive the IM-Net newsletter, send e-mail to
Please write "subscribe" in the body of the mail.

Prof.Dr. H.G. Bock, IWR, Universitaet Heidelberg


From: Tim Kelley <>
Date: Mon, 8 May 95 09:05:54 EDT
Subject: Nominations for SIAM Optimization Prize


The SIAG/OPT Prize

The SIAG/OPT will present its first award at the SIAM Conference on
Optimization to be held in Victoria, British Columbia, Canada,
in May, 1996. The award is to be given to the author(s)
of the most outstanding paper, as determined by the prize
committee, on a topic in optimization published in English in a
peer-reviewed journal.


Nominations, which should consist of a copy of the paper
(in English) and a cover letter must
be received at the SIAM office by September 30, 1995 to:

3600 University City Science Center
Philadelphia, PA 19104-2688


Candidate papers must be published in English in a peer-reviewed
journal bearing a publication date within the period from January
1, 1991 to December 31, 1994. The papers must contain
significant research contributions to the field of optimization,
as commonly defined in the mathematical literature, with direct
or potential applications.

Description of the Award

The award will consist of a plaque and a certificate containing
the citation. The chair of the prize committee will notify the
recipient(s) of the award in advance of the award date. An
invitation will be extended to the recipient(s) to attend the
award ceremony to receive the award and to present the paper.
At least one of the awardees is expected to attend the ceremony
and present the winning paper.


From: Vladik Kreinovich <>
Date: Sun, 7 May 95 12:10:04 MDT
Subject: Student Symposium On Interval Computations

Student Symposium On Interval Computations (SONIC'95)

October 20-22, 1995
University of Houston-Downtown,
Houston, Texas


To promote computational science education and research at minority
institutions in the South and Central United States, the Center for
Research on Parallel Computation at Rice University and SC COSMIC
(South and Central Computational Science in Minority Institutions Consortium)
are jointly organizing the First SC COSMIC Student Conference on
Computational Science. The Student Conference will be held from
October 20-22, 1995, at the University of Houston-Downtown, Houston, Texas.
As part of this conference, a special Symposium on
Interval Computations will be organized.

Students from SC COSMIC member institutions are welcome to submit abstracts
of their research projects on Interval Computations and
its applications to the symposium (email 2 pages in IEEEtran.sty
LaTeX format to Vladik Kreinovich at by September 10).
To qualify for the Symposium, at least one of the authors must be a student.
Recent graduates may also submit the results of their student
research projects. The best papers will be published in the special issue of
the International Journal "Reliable Computing" (formerly, "Interval

Stylefile and further information on the symposium can be found at

Further information on COSMIC can be found at


From: Floyd Hanson <>
Date: Sun, 7 May 95 23:31:49 -0600
Subject: Conference on Control and Information in Hong Kong

International Conference on Control and Information 1995 (ICCI95)

ICCI95 will be held 5-9 June 1995, The Institute of Mathematical Sciences,
Chinese University of Hong Kong, Shatin NT, Hong Kong. Technical Co-Sponsored
by the IEEE Control System Society and the IEEE Robotics and Automation
Society. The Conference will include invited keynote speakers, contributed
sessions and invited minisymposia, in broad areas of automatic control, system
theory, information theory and applications. Keynote Invited Speakers:
Jian Song, Jagdish Chandra, Eugene Wong, Y.-C. Larry Ho, S. K. Mitter,
J. C. Willems, B. A. Francis, B. D. O. Anderson and Suguru Arimoto.
Minisymposia: Integrated Design for High Performance Systems,
Parallel and Related Methods in Control, and Stochastic Theory-Adaptive
Control. There are about 15 contributed sessions. The conference is
also sponsored by the US Army Research Office, the Army Research Office-Far
East, US Office of Naval Research, the K. C. Wong Education Foundation, the
American GNC Corporation, Varitronix Limited, Hong Kong Baptist University,
as well as other foundations. the Institute of Mathematical Sciences of
the Chinese University of Hong Kong is the host of the conference.
For local information, advance program, or registration forms can be
found by Anonymous FTP using: ftp; login: anonymous;
password: ``your-email-address''; cd /conf/icci95; get program.tex;
get local-info.tex; get regis.frm; quit. For more information, contact:
Dr. Kung Fu Ng, ICCI95 Local Arrangements Committee, Department of Mathematics,
Chinese University of Hong Kong Shatin NT, Hong Kong, E-mail:


From: Nil Mackey <>
Date: Mon, 8 May 1995 16:13:41 -0400
Subject: Symposium on Matrix Analysis

Kalamazoo, MI

Third Symposium

October 13 -- 14, 1995

Preliminary Announcement
Call for Papers

Principal Speakers: Richard Brualdi, University of Wisconsin
P. J. Eberlein, SUNY at Buffalo
Roger A. Horn, University of Utah
Charles R. Johnson, College of William & Mary
G. W. Stewart, University of Maryland

There will be additional invited speakers as well as 20 minute
contributed talks. The organizers invite the participation of
both specialists and non-specialists interested in matrix analysis
and its applications to other fields. Graduate students are also
encouraged to submit abstracts for consideration.

Preceding the symposium, at 4pm on Thursday, 12 October 1995, will
be a University Visiting Scholar lecture by Charles R. Johnson
entitled "Ideas of Modern Matrix Analysis". A banquet is planned
for Friday evening.

The deadline for submitting abstracts is 14 August 1995. Email
submission is welcome.

Organizing Committee: Yousef Alavi, John Petro and Niloufer Mackey,
Western Michigan University

To submit abstracts or for further information contact:

Niloufer Mackey
Department of Mathematics & Statistics
Western Michigan University
Kalamazoo, MI 49008-5152

Phone: 616-387-4594 Fax: 616-387-4530


From: Jens Burmeister <>
Date: Tue, 9 May 1995 17:04:46 +0200
Subject: GAMM Seminar on Boundary Elements

First Announcement
The GAMM Committee "Efficient numerical methods for pde" in cooperation
with the Christian-Albrechts-Universit"at Kiel organizes the

12th GAMM-Seminar Kiel
Boundary Elements: Implementation and
Analysis of Advanced Algorithms

Chairmanship: W. Hackbusch (Kiel), G. Wittum (Stuttgart)

Date: January 19th to 21st, 1996

Location: Mathematisches Seminar und
Institut f"ur Informatik und Praktische Mathematik,
Universit"at Kiel (Germany)

Topics: Implementation and Application of:
Wavelets to Boundary Integral Equations, Matrix Compression
Techniques, Multipole and Panel-Clustering, Cubature
Techniques for Singular and Nearly Singular Surface
Integrals, Parallelization Techniques for BEM, Fast Solvers
and Software Design Aspects for BEM.

Abstracts: Please send abstracts (10-20 lines) of your lecture by
Nov. 15, 1995.

Proceedings: The first eleven GAMM-Seminars were held at Kiel in 1984, 1986-
1994. The corresponding proceedings have been published
in the series "Notes on Numerical Fluid Mechanics" by
Vieweg Verlag, Braunschweig, Germany
(Volumes 10, 16, 21, 23, 30, 31, 33, 41, 46 and 49).

Local organization :
J. Burmeister,
Tel. : ++49-431-880-4462,
Fax : ++49-431-880-4054,



From: N R Aluru <aluru@gloworm.Stanford.EDU>
Date: Tue, 9 May 1995 11:04:29 -0700
Subject: ASME Meeting on Semiconductor Device and Process Modeling

The American Society of Mechanical Engineers is holdings its 1995
International Mechanical Engineering Congress and Exposition in San
Francisco on November 12-17, as part of ASME's Winter Annual Meeting. The
theme for the congress is Emerging Technologies. The Committee on
Computing in Applied Mechanics is sponsoring three sessions on Numerical
Methods for Semiconductor Device and Process Simulation.

Progress in technology computer aided design (TCAD) for semiconductors is
essential for improving efficiency in design and for targeting for
manufacturability and will benefit from an interdisciplinary approach,
requiring interaction amongst industry, universities and laboratories. In
order to provide a forum for the needed interaction between mechanical and
electrical engineering, the Symposium on Numerical Methods for
Semiconductor Device and Process Simulation aims to report on the current
level of achievement, as well as provide an outline of the challenges and
opportunites for computational mechanics and mechanical engineering in this
domain. The Symposium will have sessions on process simulation, and on
device simulation. Each session will consist of four to five presentations
followed by a brief question and answer period. The Symposium will
comprise presentations only, no publication of proceedings is planned.

The Symposium is being organized by Peter Pinsky, Narayan Aluru and Kincho
Law of Stanford University. If you are interested in participating or
would like more information, please contact Peter Pinsky


From: Martin Stynes <>
Date: 11 May 1995 13:56:26 +0000 (GMT)
Subject: Boole Conference

28th-30th June 1995.
University College, Cork. IRELAND

The Conference will open at 9.30 a.m. on Wednesday, 28th June and
close at lunchtime on Friday, 30th June.

The following are a list of Conference speakers and their titles:

G.K. Batchelor (Cambridge University) - "Geoffrey Taylor's Share
in the Legacy".

Robert L. Devaney (Boston University) - "The Fractal Geometry of
the Mandelbrot Set".

Keith Devlin (St. Mary's College of California) - "Beyond Logic:
The Mathematics of Everyday Communication".

Ivor Grattan-Guinness (Middlesex University) - "Operations of
Thought: Boole's Inheritance from French Mathematics".

Theodore Hailperin (Lehigh University) - "Boole and Probability".

Desmond MacHale (UCC) - "George Boole and Sherlock Holmes".

John McCarthy (Stanford University) - "More Laws of Thought".

Roger Penrose (Oxford University) - "An Investigation of Physical
Laws and Concious Thoughts".

There will be an afternoon tour to places of Boolean interest,
and there will be a Conference Dinner on the Thursday night in
the Aula Maxima. (L25 per person).

The Conference fee will be $30 (L20) for early registration
before the end of May, or $50 (L30) for registration in June.
This fee includes opening reception, lectures and coffee breaks.
Accompanying persons' fee will be $15 (L10).

Thank you for your interest, and we look forward to meeting you
in Cork.

Professor Jim Bowen, Dr. Donal Hurley, Professor Desmond MacHale,
Lucette Murray - Committee.

For more information, contact the UCC150 Office (e-mail or Donal Hurley (e-mail


From: Ben Sommeijer <>
Date: Fri, 12 May 1995 11:17:36 +0200
Subject: One Hundred Years of Runge-Kutta Methods

It is well known that Runge's original paper appeared in 1895.
This work initiated the construction and analysis of similar
methods, which are now generally known as Runge-Kutta methods.

To celebrate and commemorate this historic event, the Centre
for Mathematics and Computer Science (CWI) in Amsterdam
organizes a one-day symposium:

December 8, 1995, Amsterdam

Further details about this symposium will be available in due time.
For information, you can contact the organizers:
Peter van der Houwen (, tel +31 20 592 4083, or
Ben Sommeijer (, tel +31 20 592 4192;
Address (for both): CWI, Dept. Numer. Anal.
P.O. Box 94079, 1090 GB Amsterdam
The Netherlands
Fax: +31 20 592 4199


From: David F Griffiths <>
Date: Fri, 12 May 95 12:14:37 BST
Subject: Dundee Conference - Last Call for Papers


University of Dundee, Scotland, UK
27-30th June 1995


Deadline for submission of abstracts: May 20, 1995
Deadline for registrations: June 3, 1995.

The conference will be preceded on Monday, 26th June by talks from
candidates shortlisted for the Leslie Fox Prize.

Information is available to www users through the URL

through which it is also possible to register online. Details are
given of speakers, fees, candidates for the Leslie Fox Prize as well
as travel to and from Dundee.

Dr D F Griffiths
Biennial Conference on Numerical Analysis
Department of Mathematics and Computer Science
The University, Dundee, DD1 4HN
Scotland, UK

Tel: +44 (1382) 344467 e-mail:
FAX: +44 (1382) 345516 or:

Please note change of area codes.


From: Dugald Duncan <>
Date: Fri, 12 May 1995 16:02:12 +0100
Subject: Scottish Computational Maths Symposium



10am-5pm Wednesday 20th September
Hume Tower, University of Edinburgh, Scotland.

organised by D.B. Duncan (Heriot-Watt University) and D.M. Sloan
(University of Strathclyde) with the aim of bringing together
mathematicians and others who develop and/or use computer algorithms
to solve mathematical problems.

The meetings are open to everyone interested.


* M. Berzins (University of Leeds)

* D.F. Griffiths (University of Dundee)

* J.C. Mason (University of Huddersfield)

* A. Ramage (University of Strathclyde)

We also plan to have a talk on "Mathematics on the Internet".


To register, send a cheque for 20 pounds payable to Heriot-Watt
University and include your address so that we can contact you.
The fee includes tea, coffee and lunch.

To register (by September 8th) or to obtain further information
please contact:

SCMS95, Department of Mathematics,
Heriot-Watt University, Edinburgh, EH14 4AS.

WWW Information:


From: Alex Pothen <>
Date: Tue, 9 May 1995 18:00:55 -0400
Subject: GAANN Fellowships in HPCC at Old Dominion

GAANN Fellowships in HPCC at Old Dominion University

Old Dominion University announces the immediate availability of
five fellowship packages beginning Fall 1995
(attractive stipend, full tuition, and allowances)
for full-time doctoral study in high performance computing and
communication (HPCC) within the Department of Computer Science.
Successful applicants will fulfill degree requirements at ODU
while simultaneously being mentored in their
applied or experimental thesis research by a scientist
at the nearby NASA Langley Research Center (LaRC) and/or its
Institute for Computer Applications in Science and
Engineering (ICASE).
U.S. citizens with strong academic records in computer science,
science, or engineering, particularly groups underrepresented in
computer science, are encouraged to apply.
Highly qualified applicants will also be considered from
outside these groups, until all positions are filled.

ODU is a charter member of
the Virginia/ICASE/LaRC Program in HPCC,
and has just become the recipient of
Graduate Assistantships in Areas of National Need (GAANN) funds
from the U.S. Department of Education to accelerate this program.
HPCC, broadly interpreted in both its computational science
and NII aspects, has been designated by the University
as one of five strategic areas favored for development
to a state of national prominence.
GAANN fellows will pursue an interdisciplinary curriculum
of core computer science and an allied application field.
Ideally, they will exercise a creative, enabling
role within a research team as part of their thesis work.

For further information, please contact,
or inquire about the GAANN Fellowships program at
CS Dept., ODU, Norfolk, VA 23529-0162, 804-683-3915.


From: Nick Higham <>
Date: Wed, 10 May 95 08:38:50 BST
Subject: M.Sc. in NA and Computing at Univ. Manchester

M.Sc. in Numerical Analysis and Computing

The Manchester Centre for Computational Mathematics (MCCM) offers a
one-year course leading by examination and thesis to the University of
Manchester degree of M.Sc. Students may be registered in the Faculty of
Science at the University, or at UMIST. Students attend lectures on topics
chosen from a wide range of options, covering all areas of Numerical
Analysis (algorithmic and theoretical) but also permitting advanced studies
in Computer Science. The next M.Sc. course starts in September 1995; the
examination is completed after six months, after which students work
exclusively on their project, chosen from a wide range of possible
supervisors and topics. Excellent computing facilities are available,
both departmentally and in the Manchester Computing Centre.

The usual entry requirement is a good Honours degree in Mathematics (or
some subject with a strong mathematical background). Applications and
enquiries should be sent to:

The Postgraduate Secretary, Department of Mathematics
University of Manchester, Manchester M13 9PL, UK.
tel: 0161 275 5802, fax: 0161 275 5819.

For more information consult the Web entries with URLs

Financial Support: The Engineering and Physical Sciences Research Council
has accepted the course as suitable for the tenure of its Advanced Course


From: John Tyler <>
Date: Thu, 11 May 1995 10:33:18 -0500
Subject: Postdoctoral Position at Lousiana State

Anticipated Research Associate IV
Petroleum Engineering

Required Qualifications: Ph.D. in engineering or related area: applicants
must show outstanding potential for performing research, as evidenced by
prior research experience and publications, must have experience in reservoir
simulation. Additional Qualifications Desired: experience specifically with
computer simulation using finite element methods and adaptive grids, plus
algorithm design and implementation on MIMD architectures.
Responsibilities: development, implementation, and application of
computer simulations for oil and gas research projects; including
supervision of daily project activities. Anticipated hire date is May 15,
1995, pending final approval. Application date is May 5, 1995, or until
candidate is selected. Submit application and resume to:
Philip Schenewerk, Petroleum Engineering, Louisiana State University, Baton
Rouge, LA 70803, (504) 388-5215. LSU is an equal opportunity/affirmative

This position will remain open until filled. If you are interested please


From: R. Baker Kearfott <>
Date: Tue, 9 May 1995 09:42:20 -0500
Subject: Contents, Reliable Computing

Contents, Reliable Computing (formerly Interval Computations)
Reliable Computing. - 1995. - N 1 (1). - 103 p.


Preface 3
Preface (in Russian) 5

Mathematical research

Formulas for the width of interval products
Helmut Ratschek and Jon G.~Rokne 9

Inner estimation of the united solution set of interval linear
algebraic system
Ludmila Kupriyanova 15

Why intervals? A simple limit theorem that is similar to limit
theorems from statistics
Vladik Kreinovich 33

A combined method for enclosing all solutions of nonlinear systems
of polynomial equations
Christine J\"ager and Dietmar Ratz 41

Parallel Algorithms for Interval Computations

An informal introduction to a high level language with applications
to interval mathematics
Daniel E.~Cooke 65

A parallel interval method implementation for global optimization
using dynamic load balancing
Jerry Eriksson and Per Lindstr\"om 77


Interval sessions at NAFIPS/IFIS/NASA'94
Vladik Kreinovich and Hung T.~Nguyen 93

Addresses of the Editorial Board Members 99

Information for Authors 101

Contents 103


From: SIAM <>
Date: Fri, 12 May 95 16:21:42 EST
Subject: Contents, SIAM Control and Optimization

JULY 1995 Volume 33, Number 4

Feedback Laws for Nonlinear Distributed Control Problems via
Trotter-Type Product Formulae
Catalin Popa

Regularity Conditions for the Stability Margin Problem with Linear
Dependent Perturbations
Antonio Vicino and Alberto Tesi

The H_infinity Problem for Infinite-Dimensional Semilinear Systems
Viorel Barbu

Relaxed Minimax Control
E. N. Barron and R. Jensen

Sensitivity Analysis in Nonlinear Programs and Variational
Inequalities via Continuous Selections
Jiming Liu

A Result Concerning Controllability for the Navier-Stokes Equations
E. Fernandez-Cara and M. Gonzalez-Burgos

Smoothly Global Stabilizability by Dynamic Feedback and
Generalizations of Artstein's Theorem
John Tsinias

A Mixed l_infinity/H_infinity Optimization Approach to Robust
Controller Design
Mario Sznaier

Orders of Input/Output Differential Equations and State-Space Dimensions
Yuan Wang and Eduardo D. Sontag

Matrix Pairs in Two-Dimensional Systems: An Approach Based on Trace
Series and Hankel Matrices
Ettore Fornasini and Maria Elena Valcher

Lyapunov-like Techniques for Stochastic Stability
Patrick Florchinger

On Feedback Equivalence of a Parameterized Family of Nonlinear Systems
J.-B. Pomet and I. A. K. Kupka

Necessary Conditions for Bilevel Dynamic Optimization Problems
Jane J. Ye

Using Persistent Excitation with Fixed Energy to Stabilize Adaptive
Controllers and Obtain Hard Bounds for the Parameter Estimation Error
Miloje S. Radenkovic and B. Erik Ydstie

Identification of q(x) in u_t=delta u - qu from Boundary Observations
Sergei Avdonin and Thomas I. Seidman

Exact Observability of the Time-Varying Hyperbolic Equation with
Finitely Many Moving Internal Observations
A. Yu. Khapalov

Rendezvous Search on the Line with Distinguishable Players
Steve Alpern and Shmuel Gal

Erratum: Observability and Observers for Nonlinear Systems
J.-P. Gauthier and I. A. K. Kupka


End of NA Digest