NA Digest Sunday, April 6, 1997 Volume 97 : Issue 14

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: Harvey Greenberg <>
Date: Sun, 30 Mar 1997 11:21:30 -0700 (MST)
Subject: MODLER Update

I have updated MODLER to version 9.0. This is now a choice under linux...
see my software page at

The primary changes pertain to tables:

1. CHANGE spec added to TABLE in reading data file allows table revisions.
2. Table storage reduction by recognizing binary-valued types.

The previous version (8.2) is still available too.

You might start with my home web page, as it has other items of interest,
such as my Mathematical Programming Glossary.

Harvey J. Greenberg


From: Natalia Alexandrov <>
Date: Tue, 1 Apr 1997 14:47:55 GMT
Subject: New Book on Multidisciplinary Design Optimization

State of the Art
Natalia M. Alexandrov
M.Y. Hussaini

Society of Industrial and Applied Mathematics
Publications, Philadelphia
Softbound, ISBN 0-89871-359-5
February 1997, 455 pages

To order: toll-free 1-800-447-SIAM in USA
1-215-382-9000 outside USA
1-215-386-7999 FAX

Price: $61 general; $48.80 for SIAM members
(royalties placed into the SIAM student travel)

The book contains a collection of papers written by participants
of the first ICASE/NASA Langley Workshop on Multidisciplinary
Design Optimization (MDO). The papers are from a large number
of areas comprised by MDO, such as applications, multidisciplinary
optimization methods, optimization-oriented disciplinary developments,
computational environments, and other areas.

The intended audience of this book are both the researchers already in
interdisciplinary fields and those computational scientists,
mathematicians, and engineers who would like to become acquainted with
a large subset of components that make up MDO and with a multitude
of open research questions. I would also recommend this book as
reading material in graduate numerical analysis, applied optimization,
design, and engineering courses, as a potential source of interesting
research problems.

Natalia Alexandrov


From: Vladik Kreinovich <>
Date: Fri, 4 Apr 97 14:58:32 MST
Subject: New Book Uses Interval Computations

E. Walter (SUPELEC, France)
and L. Pronzato (CNRS, Sophia-Antipolis, France)
"Identification of Parametric Models from Experimental Data"
Springer-Verlag, Berlin-Heidelberg, 1997

The presentation of a coherent methodology for the estimation of the parameters
of mathematical models from experimental data is examined in this volume. Many
topics are covered including the choice of the structure of the mathematical
model, the choice of a performance criterion to compare models, the optimization
of this performance criterion, the evaluation of the uncertainty in the
estimated parameters, the design of experiments so as to get the most relevant
data and the critical analysis of results.

There are also several features unique to the work such as an up-to-date
presentation of the methodology for testing models for identifiability and
distinguishability and a comprehensive treatment of parametric optimization
which includes greater consideration of numerical aspects and which examines
recursive and non-recursive methods for linear and nonlinear models.

XVIII, 413 pp. 119 figs., Hardcover
ISBN 3-540-76119-5
DM 158,-

The information about this and other books related to interval
computations can be found on the Books part of the Interval
Computations Website
click on "Books".


From: Bruce Wade <>
Date: Wed, 2 Apr 1997 15:54:41 -0600 (CST)
Subject: Special Issue of Applied Science and Computations

The International Journal of Applied Science and Computations will be
publishing a special issue edited by David Schultz and Bruce Wade on
computational fluid dynamics. Any topics related to this area will be
considered for publication.

The deadline for postmark of submitted papers is June 1, 1997. If you
plan to submit a paper, please send e-mail notice to
as early as possible.

Requests for additional information can be addressed to Contributors should send three copies of
their paper to:

David Schultz, Professor
Department of Mathematical Sciences
University of Wisconsin-- Milwaukee
PO Box 413
Milwaukee, Wisconsin 53201-0413


From: Brian Borchers <>
Date: Wed, 2 Apr 1997 15:10:03 -0700 (MST)
Subject: CSDP, A Library for Semidefinite Programming

CSDP is a library of routines that implements a predictor corrector
variant of the semidefinite programming algorithm of Helmberg, Rendl,
Vanderbei, and Wolkowicz. The main advantages of this code are that it
is written to be used as a callable subroutine, it is written in C and
Fortran for efficiency, it makes effective use of sparsity in the
constraint matrices, and that it includes support for linear
inequality constraints in addition to linear equality constraints.

The code has been tested under Linux, SunOS 4.x, Solaris 2.5.1, and
AIX 4.2. Makefiles are included for all of these operating systems. It
should be relatively easy to port the code to other versions of unix.

Source code:
Tech report:

Brian Borchers
Department of Mathematics
New Mexico Tech Phone: 505-835-5813
Socorro, NM 87801 FAX: 505-835-5366


From: Joan Himpson <>
Date: Fri, 04 Apr 97 12:45:14
Subject: Retirement Dinner for Bill Morton and David Mayers

As some of you may know both Professor Bill Morton and Dr David Mayers of
Oxford University Computing Laboratory are retiring this summer. It is
proposed to have a retirement dinner in one of the Oxford Colleges on the
evening of Friday 11 July 1997 at a cost of approximately 25 pounds per head.
Colleagues, ex students etc. (with partners) are all welcome but in order to
arrange this an indication of the numbers interested would be of great help.

If you think you might like to come to such a dinner could you please
register your initial interest by contacting Joan Himpson;
replies by the end of April for initial numbers would be appreciated.

Mrs Joan Himpson
Oxford University Computing Laboratory
Wolfson Building
Parks Road
Oxford OX1 3QD

Tel: +44 1865 273885
Fax +44 1865 273839


From: Michael Wester <>
Date: Thu, 3 Apr 1997 16:57:55 -0700 (MST)
Subject: Conference on Applications of Computer Algebra

The Third International IMACS Conference on Applications of Computer Algebra

International Association for Mathematics and Computers in Simulation
Conference on Applications of Computer Algebra*

July 24-26, 1997
Aston Wailea Resort
Maui, Hawaii, USA

General Chair: Michael Wester (
Program Chairs: Jacques Calmet (
Vladimir Gerdt (
Local Arrangements: Stanly Steinberg (
Nicolas Robidoux (

The meeting will focus on actual or possible applications of nontrivial
computer algebra techniques to other fields and substantial interactions of
computer algebra with other fields.

For more information, see:
or contact one of the above organizers.

NOTE: PASCO'97 and ISSAC'97 will be held just previous to this meeting
(July 20-22 and July 21-23, respectively) also at the Aston Wailea Resort.

Meeting Format:

The meeting will be run in the standard IMACS format where individuals are
invited to organize a special session. Individuals can propose a special
session by contacting the program chairs. All paper submissions must be
directed to an organizer of an appropriate special session, which will be
listed at the web site.

SPECIAL SESSIONS currently being organized:

Algorithm Design and Systems Engineering
Algorithmic Analysis of PDEs (Alexei Bocharov, Greg Reid, Thomas Wolf)
Applications in Group Theory (John Cannon)
Automatic Differentiation (Stephen Watt)
Computer Algebra and Theorem Provers (Michael Kohlhase)
Computer Algebra in Education (Ian Cohen)
Computer Algebra in Robotics (Jochen Pfalzgraf)
Computer Algebra Methods in Integration and Analysis of ODEs
(Vladimir Gerdt, Fritz Schwarz)
Grand Challenges in Computer Algebra (Laurent Bernardin)
Non-standard Applications (Eugenio Roanes Lozano)
Problem Solving Environments (Bruce Char)
Symbolic Computing Aspects of Multi-Agent Systems and Autonomous Agents
(John Campbell)
Types and Specifications (Jacques Calmet)

If you would like to contribute a talk, please contact the appropriate session
organizer or one of the program chairs. Email addresses can be found on the
ACA'97 web site.

IMACS/non-IMACS member $150/$165 Early registration (on or before May 31)
IMACS/non-IMACS member $175/$190 Standard registration (June 1 or after)
IMACS/non-IMACS member $200/$215 On-site registration

By the way, Stanly Steinberg and I are also organizing a session on Computer
Algebra for the II Pan-American Workshop in Applied and Computational
Mathematics to be held September 8-12, 1997 in Gramado, Brazil (see If anyone is interested in participating,
please send me a note.

Michael Wester

*partially supported by the

Albuquerque Resource Center
Maui High Performance Computing Center
National Security Agency


From: Petter Bjorstad <>
Date: Fri, 4 Apr 1997 17:55:42 -0600 (CST)
Subject: Workshop on Software for PDEs

APRIL 21-25 1997

Purpose: The purpose of this tutorial/workshop is to
discuss actual software for the numerical solution
of PDEs with realistic demonstrations of the software
by international experts that have been directly involved
in the software development.
The emphasis is NOT on large, scale commercial packages,
such as, for example, NASTRAN and ANSYS (for structural analysis)
but more on special and/or general purpose systems that
can be used in research and development as well as in
teaching at universities.

This workshop precedes the IMA-HPC workshops

10) Grid Generation and Adaptive Algorithms,
11) Parallel Processing of Discrete Problems,
12) Parallel Solution of PDE

and should give a good background for these events as well.

Format: Each software system will be allocated a half
day in the workshop. Such a session should normally

a) A lecture by one of the developers giving an overview
of the software, its use and limitations.
b) A demonstration of the software (advanced application)
by one of the developers
c) Some simple application exercise using the software
that can be tried/carried out by the participants
d) A general discussion among the participants of the
software system, including Q/A based on the experience gained.

All SW packages will be installed on the IMA computer system
before the workshop. An SGI workstation will be available in the
auditorium with suitable projection to a large screen for the
participants. It is assumed that the presentations will include
`live' computer demonstrations.

The last day will be used to discuss future developments
of SW for PDEs and summarize the first four days.

The presenters and their packages include:

Olivier Pironneau
University Pierre et Marie Curie

Hans Petter Langtangen
University of Oslo

Stefan Turek
University of Heidelberg

Lars Langemyr
COMSOL, Stockholm

Hidehiro Fujio

Barry Smith & William Gropp
Argonne National Laboratory

Randy Bank
University of California at San Diego

Henrik Rentz-Reichert & Klaus Johannsen
University of Stuttgart

An updated program as well as more information on the
IMA special year on HPC can be found at:


From: John Bullen <>
Date: Tue, 1 Apr 1997 08:37:11 -0500
Subject: Dean Position at University of Waterloo

University of Waterloo
Waterloo, Ontario, Canada


Candidates are sought for the position of Dean of the Faculty of
Mathematics. Consisting of approximately 130 faculty members and 40
support staff in five academic departments (Applied Mathematics,
Combinatorics & Optimization, Computer Science, Pure Mathematics,
Statistics & Actuarial Science), the Faculty offers graduate and
undergraduate programs leading to the BMath, MMath, MPhil and PhD degrees.
Full-time undergraduate enrolment is about 2800, with two-thirds in co-op
(alternating work/study) programs; about 40% of the Faculty's 250 full-time
graduate students are enrolled in doctoral programs. Total UW full time
enrolment is about 17,000.

The successful candidate will have a proven record of scholarship, teaching
and administration in order to qualify for a tenured appointment at a
senior level. Applications should be accompanied by: a current curriculum
vitae; an outline of the talents, experience and ideas a candidate would
bring to the deanship; and the names and addresses of three referees in a
position to comment on a candidate's academic credentials and
administrative experience. Nominations are also invited and should include
a current CV, where possible.

Applications and nominations will be treated in confidence and should be
directed by mail or fax (519-888-6337) no later than June 30, 1997 to:

John Bullen
Associate University Secretary
Needles Hall
University of Waterloo
Waterloo, Ontario
N2L 3G1

The initial five-year appointment will begin on July 1, 1998.

In accordance with Canadian immigration requirements, this advertisement is
directed to Canadian citizens and permanent residents. The University of
Waterloo encourages applications from all qualified individuals, including
women, members of visible minorities, native peoples and persons with

The UW home page on the Web is at
[The full text of Policy 45 -- Dean of a Faculty -- is under 'documents'.]


From: M. P. Bekakos <>
Date: Mon, 31 Mar 1997 14:40:22 +0300 (EET DST)
Subject: Position at Athens University

Ph.D. Position at Athens University of Economics & Business
Parallel Algorithms and architectures Research group
Dept. of Informatics
Athens - Greece

In the area of : "Parallel Processing Technology, Neural Network
Architectures and Applications"

We welcome young candidates ( below 30 years of age) with an M.Sc. Degree
in a relevant topic, a sound background in Mathematics and experienced in
scientific programming. Research activity and/or professional experience
will be additionally evaluated in favour of the candidate.

For more information please contact :
Ass. Prof. M.P. Bekakos
Athens University of Economics & Business,
Dept. of Informatics,
76, Patission Str.,
Athens 104 34,
Phone/Fax : +301 - 82 25 790
Michael P. Bekakos
Dept. of Informatics
Athens University of Economics & Business
Athens 104 34
Fax : +301-82 25 790
E-mail :


From: Hans-Christian Hege <>
Date: Tue, 1 Apr 1997 12:07:48 +0000
Subject: Graduate Scholarship at Konrad-Zuse-Zentrum

The Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB), a research
institute of the state of Berlin, performs research and development in the
field of application oriented algorithmic mathematics. With effect from
April 1, 1997 a

Graduate Scholarship

is available at ZIB for a term of up to three years. The scholarship is
granted by the Graduiertenkolleg "Temperature Dependent Effects for Therapy
and Diagnostics" at Humboldt University Berlin (speaker: Prof. Dr. R. Felix).
The research work involves problems in

Computational Geometry, Image Processing,
and Scientific Visualization.

It should be carried out in close connection to the research performed in
the Sonderforschungsbereich 273 "Hyperthermia in Oncology: Methods and


- data structures for deformable grid models
- algorithms for deforming anatomical grid models
- algorithms for mapping grid models to atlas data for segmentation and


- good up to excellent degree in mathematics, computer science or
theoretical physics
- profound knowledge in areas of applied mathematics, e.g. splines,
wavelets, grid generation
- good acquaintance with object oriented programming in C++
- desirable: practical experience with large software projects
- interest in medical problems

or willingness to learn the missing parts.

We expect a high degree of commitment. In return we offer an interesting
field of work, an opportunity for creativity, excellent machinery equipment
and favourable working conditions.

We particularly encourage female applicants, since women are underrepresented
in science and ZIB is engaged in enlarging the quota.

Disabled persons will be preferred on terms of equal qualification.

Applications with photo, curriculum vitae in tabular form and customary
documents quoting the title "Graduiertenkolleg -- Scientific Visualization"
should be submitted to

Prof. Dr. Peter Deuflhard
Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
Takustr. 7
14195 Berlin-Dahlem

For further information, please contact Hans-Christian Hege at ZIB,
e-mail: See also and


From: Vladik Kreinovich <>
Date: Fri, 4 Apr 97 10:06:41 MST
Subject: Contents, Reliable Computing

Here is the contents of the first two 1997 issues of the Reliable
Computing journal, which is now published under Kluwer:


1 - 4

Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions
Siegfried M. Rump
5 - 16

Sharpness in Interval Computations
Eldon R. Hansen
17 - 29

An Interval Algorithm for Bounding the Ranges
of Real-Valued Functions of One Real Variable
Michael A. Wolfe
31 - 50

NP-Hard Classes of Linear Algebraic Systems with Uncertainties
Anatoly V. Lakeyev
Vladik Kreinovich
51 - 81

Use of Interval Slopes for the Irrational Part of Factorable Functions
Lubomir V. Kolev
83 - 93

Numerical Intervals to Set Intervals
(Interval-Related Results Presented at the First International
Workshop on Applications and Theory of Random Sets)
Hung T. Nguyen
Vladik Kreinovich
95 - 102


Algebraic Approach in the ``Outer Problem'' for Interval Linear
Sergey P. Shary
103 - 135

Numerical Verifications of Solutions for
Nonlinear Parabolic Equations in One-Space Dimensional Case
Teruya Minamoto
Mitsuhiro T. Nakao
137 - 147

Is Solar System Stable? A Remark
Vladik Kreinovich
Andrew Bernat
149 - 154

Computing the Value of a Boolean Expression with Interval
Inputs is NP-Hard
Leticia S. Chee
155 - 172

Sign-Stable Solutions of Column-Vague Linear Equation Systems
Josef Nedoma
173 - 180

Reviews Applications of Reliable Scientific Computing
181 - 187

Information on New Textbooks
188 - 190

Interval-Related Talks at the 1996 International Workshop on
Control Mechanisms for Complex Systems
191 - 193


End of NA Digest