NA Digest Monday, April 16, 2007 Volume 07 : Issue 16

Today's Editor:
Tamara G. Kolda
Sandia National Labs

Submissions for NA Digest:

Mail to

Information via email about NA-NET:

Mail to


From: "austin DuBrulle" <>
Date: Mon, 09 Apr 2007 00:43:24 -0700
Subject: John Warner Backus

John Backus passed away at age 82 on March 17.

I was quite surprised not to find any mention of it in NA Digest. Could it
be that the numerical analysis community is so busy that it forgot the man
who did so much for scientific computing?

FORTRAN is fifty years old this year and still going strong in spite of the
dire predictions of the programming gurus and the assaults of the
computer-science purists. The language has certainly changed since its
inception, and its early versions may look somewhat unrefined to the younger
generations of programmers. Yet, those of us old f…ogeys who used them when
we were young and adventurous vividly remember how FORTRAN made our lives
more productive and substantially easier.

John was a modest man and an original thinker impervious to fads and manias.
Deploring the “obesity” that inevitably seems to affect conventional
programming languages as they age, he started exploring in the late 1950s an
entirely different approach dubbed Functional Programming (FP). FP not only
defined a new program style, but also hinted at new views of computer
design. Iverson’s parallel work in that direction with APL and J proved
that the idea was quite practical and could lead to efficient, effective,
and elegant implementations. John Backus’s contributions were not limited
to the practical side of programming. The Backus-Naur Formalism was a major
addition to the theory of languages.

John Warner Backus, RIP.

Austin A. Dubrulle


From: Humberto Bortolossi <>
Date: Thu, 12 Apr 2007 22:00:35 -0400
Subject: 2x2: A Robust Software for Nonlinear Systems

We present a software to invert functions from the plane to the plane: F(x, y)
= (b1, b2), for a generic smooth function F. In principle, all points in the
preimage of (b1, b2) are computed. The numerical inversion is based on the
characterization of the critical set C = {(x,y) : det DF(x,y) = 0} and its
image, and in appropriate techniques of numerical continuation in situations
of controlled interaction with C. A graphical user interface allows for the
study of local and global properties of the function, both of geometric and
analytic nature. The program uses a substantial amount of mathematics: some
singularity theory dating back to Whitney in the fifties and some
combinatorial topology from the sixties (the Blank-Troyer theorems), among
other things.

The program 2x2 is highly portable: it runs under several platforms, including
Microsoft Windows© and Linux. The numerical routines of 2x2 may be used by
third party programs through function calls, without the graphical user interface.

The program is available at

Comments are welcome: Carlos Tomei (

Carlos Tomei -- Nicolau Saldanha -- Humberto José Bortolossi -- Eduardo Teles
da Silva.


From: Daniel Potts <>
Date: Wed, 11 Apr 2007 12:56:26 +0200
Subject: Summer School on Applied Analysis in Chemnitz (Germany), Sep 2007

Summer School on Applied Analysis
September 17-21, 2007, Chemnitz, Germany

The summer school is devoted to applied analysis. The courses, focusing on
different aspects of applied analysis, will take place Monday-Friday during
the entire week. It is meant for training of undergraduate students, Ph.D.
students and young post-doc researchers. The registration is free, but we may
limit the number of participants if necessary.

There will be five general lectures given by the following speakers.
The topics and speakers of the lectures will be

Prof.Dr. Raymond Chan
A Unified Tight Frame Approach for Missing Data Recovery in Images

Prof.Dr. Miroslav Fiedler
Some applicable classes of special matrices

Prof.Dr. Giuseppe Mastroianni
Polynomial approximation and some applications to Fredholm integral equations

Prof.Dr. Gabriele Steidl
Variational Methods in Image Processing

Prof.Dr. Elias Wegert
Boundary Value Problems for Holomorphic Functions

Further information and online registration is
available on the website:


From: "Kirsten Wilden" <>
Date: Fri, 13 Apr 2007 13:21:29 -0400
Subject: ACM-SIAM Symposium on Discrete Algorithms (SODA08), Jan 2008

Conference Name:
ACM-SIAM Symposium on Discrete Algorithms (SODA08)

Conference Program Chair:
Shang-Hua Teng, Boston University and Akamai Technologies, Inc.

Holiday Inn Golden Gateway, San Francisco, California

January 20-22, 2008

The Call for Presentations for this symposium is available at:

Submission Deadline:
July 6, 2007

For additional information, contact the SIAM Conferences Department at


From: Heike Pahlisch <>
Date: Thu, 12 Apr 2007 12:05:58 +0200
Subject: Richard von Mises Lecture 2007, Colloquium in honor of Hans Foellmer

The Institute of Mathematics of the Humboldt University Berlin invites
for the following two events:

R i c h a r d v o n M i s e s L e c t u r e 2007

on June 7, 2007, Berlin Adlershof
presented by

Philip Protter (Cornell University)
“Modeling Financial Bubbles”

The lecture is preceded by a talk of

Annette Vogt (MPI Historical Sciences Berlin)
„In memoriam Richard von Mises“.

Time schedule: 2-6 p.m.

C o l l o q u i u m i n h o n o r o f H a n s F o e l l m e r

The Colloquium will take place on June 8 and 9, 2007, in Berlin
Adlershof (June 8, starting 9) and in Berlin Mitte (June 9).


Erwin Bolthausen (Zürich), Nicole El Karoui (Paris),

Nina Gantert (Münster), Dmitry Kramkov (Pittsburgh),

L.Chris G.Rogers (Cambridge), Walter Schachermayer (Vienna),

Alexander Schied (Berlin), Martin Schweizer (Zürich),

Dieter Sondermann (Bonn), Marc Yor (Paris)

Registration is required (extended deadline May,20) and can be done
online by using

These sites will be available shortly and will provide a detailed
schedule as well as other information.

For further questions please contact Mrs. Sabine Bergmann <>

+49 30 2093 5811

On the behalf of the Institute of Mathematics
Peter Imkeller, Uwe Kuechler


From: <>
Date: Wed, 11 Apr 2007 17:05:58 +0400
Subject: International Conference on Transport Theory, Jul 2007

Dear Colleagues!
The Organizing Committee is pleased to invite you to the 20th International
Conference on Transport Theory (ICTT-20) which will be held in Obninsk, Russia,
July 22 – 28, 2007.
Main Topics
The conference expects contributions from the following fields:
• Transport theory (quantum or classical)
• Kinetic theory
• Applications of transport theory
• Nuclear reactor physics
• Numerical methods in transport theory
• Deterministic transport methods
• Probabilistic transport methods
• Monte Carlo methods
• Stochastic transport methods

With best regards,
the Organizing Committee.
Prof. Vladimir Ginkin (co-chairman)


From: Roy Mathias <>
Date: Fri, 13 Apr 2007 07:51:20 +0100 (BST)
Subject: extended deadline: IMA Conf. Num. Lin. Alg. & Opt, Sep 2007

IMA International Conference on
Numerical Linear Algebra
and Optimisation.
Sept 13-15, 2007.

The DEADLINE for contributed talks and minisymposia has been
EXTENDED to April 24th

(Ignore the March 31st deadline on the website, and
Submit abstrtacts by email to

The conference is organised by the Institute for Mathematics and Its
Applications (IMA).

It is co-sponsored by SIAM and ILAS. SIAM and ILAS members will recieve the
IMA members reduced registration fee.

Invited Speakers: (confirmed)
Paul Van Dooren (Catholic University of Louvain)
Roger Fletcher (University of Dundee)
Jorge Nocedal (Northwestern University)
Michael Overton (New York University)
Valeria Simoncini (University of Bologna)
Zdenek Strakos (Academy of Sciences of the Czech Republic)
Philippe Toint (University of Namur)
Nick Trefethen (Oxford Universtity)

Call for papers and minisymposia
Contributions are sought covering any topic of numerical linear algebra or
optimisation. All contributed talks will be scheduled for at least 20
minutes. Individuals who wish to organise a minisymposium (4 or more talks on
a common theme) should submit the abstracts through the usual channels then
send a single email to one of the organisers stating that they would like the
talks grouped as a minisymposium. Abstracts should be submitted by email to

Organising Committee
Roy Mathias, University of Birmingham (co-chair),
Michal Kocvara, University of Birmingham (co-chair),
Jacek Gondzio, University of Edinburgh
Nick Gould, Oxford Univesity
Nick Higham, University of Manchester

Inquiries: Lucy Nye
or members of the orgainising committee


Date: Thu, 12 Apr 2007 15:27:14 +0800 (SGT)
Subject: A two-month program on BEC and Quantized Vortices in Singapore

A two-month program on
``Bose-Einstein Condensation and Quantized Vortices in
Superfluidity and Superconductivity''
Institute for Mathematical Sciences, National University of Singapore
(1 Nov - 31 Dec 2007)

Organizing Committee

Weizhu Bao (National University of Singapore)
Fanghua Lin (Courant Institute, New York University)
Jiangbin Gong (National University of Singapore)
Dieter Jaksch (University of Oxford)
Baowen Li (National University of Singapore)
Peter Markowich (University of Vienna)

Since its realization in dilute bosonic atomic gases in 1995,
Bose-Einstein condensation (BEC) of alkali atoms and hydrogen atoms
has been produced and studied extensively in the laboratory.
This has spurred great excitement in the atomic physics community
and renewed the interest in studying collective dynamics of
macroscopic ensembles of atoms occupying the same one-particle
quantum state and quantized vortex in superfluidity. Theoretical
predictions of the properties of BEC like the density profile,
collective excitations and the formation of quantized vortices
can now be compared with experimental data.

This two-month program will bring together leading international
applied and pure mathematicians, theoretical and experimental
physicists, and computational scientists, and researchers from
NUS Departments of Mathematics, Physics, Material Sciences and
Mechanical Engineering, and from A*STAR institutes IHPC and IMRE,
to review, develop and promote interdisciplinary research on
Bose-Einstein condensation and quantized vortex states and dynamics
in superfluidity and superconductivity.


The program activities will consist of two workshops, series
seminars and collaborative research.

1. Collaborative research: 1 November -- 31 December, 2007

2. Workshop 1: 12 -- 16 November, 2007

Title: Bose-Einstein condensation: modeling, analysis,
computation and applications

3. Workshop 2: 10 -- 14 December, 2007

Title: Quantized vortices in superfluidity and superconductivity
and kinetic theory

For more information about the program, please visit its webpage at:


From: Malte Braack <>
Date: Tue, 10 Apr 2007 09:52:02 +0200
Subject: 3rd Scientific Computing Seminar at the University of Kiel, June 2007

This summer we organize the 3rd Scientific Computing Seminar
at the University of Kiel with special emphasis on

"Mathematical Modelling and Simulation
of Flow Problems in Geosciences"


The goal of this workshop is the presentation and discussion on
recent developments in the field of mathematical modelling and
simulation of flow problems in geosciences.

The topics include (but are not limited to):

* Mathematical Modells
* Numerical schemes and algorithms
* Simulation techniques
* Parameter estimation
* Coupled processes, reactive transport and free surface flows
* Partial differential equations with stochastic parameters

The application areas include (but are not limited to):

* Porous media and ground water flow
* Ocean and atmospheric circulation
* River flows
* Climate and weather dynamics
* Deformation processes in geosciences
* Hydrothermal processes

There is a limited number of travel grants for young researchers
working in this field.
Further information can be obtained on the web page

The organizers,
M. Braack, S. Bauer, A. Oschlies, R. Schneider


From: "Simon Chandler-Wilde" <>
Date: Tue, 10 Apr 2007 16:05:51 +0100
Subject: Lectureships in Mathematics - University of Reading, UK

Lectureships in Mathematics
Department of Mathematics
University of Reading, UK

Full-time, permanent, £30,013 - £40,335

We are seeking outstanding candidates in applied mathematics (which includes
numerical analysis and computational modelling) and related areas of

For position AC0716 some preference may be given to computational modelling
and numerical analysis or applied analysis.

For position AC0717 some preference may be given to dynamics of complex

Further details: see or contact Prof Simon
Chandler-Wilde (


From: Wei Cai <>
Date: Sat, 14 Apr 2007 00:03:20 -0400
Subject: Postdoc Positions in Comput. Biology at UNC Charlotte

University of North Carolina at Charlotte
Department of Mathematics & Statistics

Application is sought for postdoctoral
positions with experience in computational biology,
appointments are renewable. Expertise in fast solver, stochastic modeling
and MD packages is a plus. Please e-mail application to
Or send the application to Prof. Wei Cai, Department of Mathematics,
University of North Carolina at Charlotte, Charlotte, NC 28223


Date: Sun, 15 Apr 2007 11:31:38 GMT
Subject: "chebfun" postdoc with Trefethen at Oxford

A three-year postdoctoral position is available to work
with Nick Trefethen and others in the Oxford Numerical
Analysis Group on the chebfun project. This project is a
collection of algorithms, and a software system in
object-oriented MATLAB, which extends familiar powerful
methods of numerical computation involving numbers to
continuous or piecewise-continuous functions. It also
implements continuous analogues of linear algebra notions
like the QR decomposition and the SVD. The mathematical
basis of the system combines tools of Chebyshev expansions,
fast Fourier transform, barycentric interpolation,
Clenshaw-Curtis quadrature, and recursive zerofinding. For
details see Deadline
for applications: 21 May 2007.


From: Hans Schneider <>
Date: Tue, 10 Apr 2007 08:40:12 -0500 (CDT)
Subject: Contents, LAA

* Linear Algebra and its Applications
Volume 423, Issue 1, Pages 1-182 (1 May 2007)
Special Issue devoted to papers presented at the Aveiro Workshop on Graph
Spectra, Aveiro Workshop on Graph Spectra
University of Aveiro, Mathematics Department
10-12 April 2006
Edited by D. Cvetkoviÿÿ, W. Haemers and P. Rowlinson


1) Lists of Editors
Pages ii-iii

2) Group photo
Page xi

3) Preface
Pages 1-2
D. Cvetkoviÿÿ, W. Haemers and P. Rowlinson

4) Constructably Laplacian integral graphsÿÿ
Pages 3-21
Steve Kirkland

5) Random walks and local cuts in graphs
Pages 22-32
Fan Chung

6) Cospectral graphs and the generalized adjacency matrix
Pages 33-41
E.R. van Dam, W.H. Haemers and J.H. Koolen

7) Forbidden minors for the class of graphs G with ÿÿ(G)ÿÿ2ÿÿ(G)ÿÿ2
Pages 42-52
Leslie Hogben and Hein van der Holst

8) Old and new results on algebraic connectivity of graphs
Pages 53-73
Nair Maria Maia de Abreu

9) Spectral bounds for the betweenness of a graph
Pages 74-80
F. Comellas and S. Gago

10) Some notes on graphs whose index is close to 2
Pages 81-89
Francesco Belardo, Enzo Maria Li Marzi and Slobodan K. Simiÿÿ

11) Spectral results on graphs with regularity constraints
Pages 90-98
Domingos M. Cardoso and Paula Rama

12) A characterization of Delsarteÿÿs linear programming bound as a ratio
Pages 99-108
Carlos J. Luz

13) The spectra of some families of digraphsÿÿ
Pages 109-118
M.A. Fiol and M. Mitjana

14) Walks and regular integral graphs
Pages 119-135
Dragan Stevanoviÿÿ, Nair M.M. de Abreu, Maria A.A. de Freitas and Renata

15) Laplacian integral graphs in S(a,b)
Pages 136-145
Leonardo Silva de Lima, Nair Maria Maia de Abreu, Carla Silva Oliveira and
Maria Aguieiras Alvarez de Freitas

16) Star complements and exceptional graphsÿÿ
Pages 146-154
D. Cvetkoviÿÿ, P. Rowlinson and S.K. Simiÿÿ

17) Signless Laplacians of finite graphsÿÿ
Pages 155-171
Dragoÿÿ Cvetkoviÿÿ, Peter Rowlinson and Slobodan K. Simiÿÿ

18) Research problems from the Aveiro Workshop on Graph Spectra
Pages 172-181
Dragan Stevanoviÿÿ

* Linear Algebra and its Applications
Volume 423, Issues 2-3, Pages 183-520 (1 June 2007)


1) Lists of Editors
Pages ii-iii

2) A generalized isometric Arnoldi algorithm
Pages 183-208
Michael Stewart

3) On boundary NevanlinnaÿÿPick interpolation for Carathéodory matrix
Pages 209-229
Yong-Jian Hu, K.d.A. Boubakar and Gong-Ning Chen

4) Generalized Pascal functional matrix and its applicationsÿÿ
Pages 230-245
Yongzhi Yang and Catherine Micek

5) Hilbertÿÿs projective metric on Lorenz cones and Birkhoff formula for
Lorentzian compressions
Pages 246-254
Yongdo Lim

6) On linear preservers of (right) matrix majorization
Pages 255-261
A.M. Hasani and M. Radjabalipour

7) Spectrally arbitrary patterns: Reducibility and the 2n conjecture for n=5
Pages 262-276
Luz M. DeAlba, Irvin R. Hentzel, Leslie Hogben, Judith McDonald, Rana
Mikkelson, Olga Pryporova, Bryan Shader and Kevin N. Vander Meulen

8) On commuting exponentials in low dimensions
Pages 277-286
Gerald Bourgeois

9) On the curvature of the quantum state space with pull-back metrics
Pages 287-304
Attila Andai

10) Symplectic commutator subgroups
Pages 305-323
Melissa Meehan Hoover

11) Automorphisms of a linear Lie algebra over a commutative ring
Pages 324-331
Dengyin Wang, Qiu Yu and Yanxia Zhao

12) A note on the representations for the Drazin inverse of 2×2 block matrices
Pages 332-338
Xiezhang Li and Yimin Wei

13) Minimal polynomials of algebraic derivations and automorphisms
Pages 339-350
Chen-Lian Chuang, Tsiu-Kwen Lee and Chi-Tsuen Yeh

14) Cones of closed alternating walks and trailsÿÿ
Pages 351-365
Amitava Bhattacharya, Uri N. Peled and Murali K. Srinivasan

15) The correlations of finite Desarguesian planes of square order defined by
diagonal matrices
Pages 366-385
Barbu C. Kestenband

16) Homomorphisms, representations and characteristic polynomials of
Pages 386-407
Aiping Deng, Iwao Sato and Yaokun Wu

17) The minimal spectral radius of graphs with a given diameter
Pages 408-419
E.R. van Dam and R.E. Kooij

18) Hadamard powers and totally positive matrices
Pages 420-427
Shaun M. Fallat and Charles R. Johnson

19) On invertible matrices over antiringsÿÿ
Pages 428-444
Yijia Tan

20) Specializations and extensions of the quantum MacMahon Master Theorem
Dominique Foata and Guo-Niu Han
Pages 445-455

21) Ascent, descent, nullity, defect, and related notions for linear relations
in linear spaces
Pages 456-497
Adrian Sandovici, Henk de Snoo and Henrik Winkler

22) A new Bartholdi zeta function of a digraph
Pages 498-511
Hirobumi Mizuno and Iwao Sato

23) A matrix subadditivity inequality for f(A+B) and f(A)+f(B)
Pages 512-518
Jean-Christophe Bourin and Mitsuru Uchiyama

24) Corrigendum to: ÿÿPositive, path product, and inverse M-matricesÿÿ [Linear
Algebra Appl. 421 (2007) 328ÿÿ337]ÿÿ
Page 519
Charles R. Johnson and Ronald L. Smith


From: Oleg Burdakov <>
Date: Wed, 11 Apr 2007 19:52:53 +0200 (MEST)
Subject: Contents, Optimization Methods and Software

Table of Contents
Optimization Methods and Software (OMS), Volume 22, Number 4 (August, 2007)

Georg Vossen, Volker Rehbock and Argenes Siburian
Numerical solution methods for singular control with
multiple state dependent forms

Neculai Andrei
Scaled memoryless BFGS preconditioned conjugate gradient
algorithm for unconstrained optimization

Antonio Frangioni and Claudio Gentile
Experiments with a hybrid interior point/combinatorial
approach for network flow problems

Qing Xu, Bo Yu, Guo-chen Feng and Chuangyin Dang
Condition for global convergence of a homotopy method for variational
inequalities problems on unbounded sets

Kamal Mirnia and Alireza Ghaffari Hadigheh
Support set expansion sensitivity analysis in convex quadratic

Adam Ouorou
A proximal subgradient projection algorithm for linearly constrained
strictly convex problems

Silvia Bonettini and Federica Tinti
A nonmonotone semismooth inexact Newton method

Xin-long Luo, Li-Zhi Liao and Hon Wah Tam
Convergence analysis of the Levenberg-Marquardt method

Filiz Bilen, Zsolt Csizmadia and Tibor Illes
Anstreicher-Terlaky type monotonic simplex algorithms for linear
feasibility problems

Li Zhang, Weijun Zhou and Donghui Li
Some decent three-term conjugate gradient methods and their global

Forthcoming papers and complete table of contents for the journal OMS:

Instructions for Authors and Online sample copy:

Discounted individual subscription:


From: "Kreinovich, Vladik" <>
Date: Tue, 10 Apr 2007 11:28:50 -0600
Subject: Contents, Reliable Computing, Vol. 13, issue 4, 2007

Reliable Computing
Volume 13, issue 4, 2007

Mathematical Research

A New Robust Algorithm to Trace Curves
Dominique Faudot, Dominique Michelucci

Extension of the Hansen-Bliek Method to Right-Quantified Linear Systems
Gilles Chabert, Alexandre Goldsztejn

Guaranteed Parameter Set Estimation for Exponential Sums:
The Three-Terms Case
Juergen Garloff, Ismail Idriss, Andrew P. Smith

Solution Set Characterization of Linear Interval Systems
with a Specific Dependence Structure
Milan Hladik


Interval-Related Talks at the International Conference
on Finite Element Methods in Engineering and Science
Vladik Kreinovich, Rafi Muhanna


From: cmam <>
Date: Sat, 14 Apr 2007 12:44:41 +0300
Subject: Contents, Computational methods in applied mathematics (CMAM)

Contents Comp. Meth. Appl. Math., Vol. 7 (2007), No. 1
All papers are available at our web-site .


Fedorenko finite superelement method and its applications
M.Galanin, S.Lazareva, and E.Savenkov (Russia)

Difference schemes for nonlinear BVPs on the semiaxis
I.P.Gavrilyuk, M.Hermann, M.V.Kutniv, and V.L.Makarov (Germany,

Numerical study of two-grid preconditioners for 1-D
elliptic problems with highly oscillating discontinuous coefficients
O.Iliev, R.Lazarov, and J.Willems (USA, Germany)

Stability of implicit difference equations generated by parabolic
functional differential problems
K.Kropielnicka (Poland)

A refined mixed finite element method for stationary Navier-Stokes
equations with mixed boundary conditions using Lagrange multipliers
S.Nicaise, L.Paquet, and Rafilipojaona (France)

End of NA Digest