We consider the model inversion problem that arises in geophysical sciences. Whether it is formulated in a deterministic or stochastic framework, it can be solved by minimizing an appropriate loss function with respect to unknown parameters. In such ...

A distribution G on [math not displayed] is called matrix-exponential if the density has the form αe^Tz s where α is a row vector, T a square matrix and s a column ...

This article is part of the program described in Bennett et al. (in: Ivanov et al. (ed.) Groups, combinatorics, and geometry, 2003) [3]. We study the Phan amalgams and their universal completions that occur for q = 3 ...

This paper revisits an algorithm isolating the real roots of a univariate polynomial using Descartes' rule of signs. It follows work of Vincent, Uspensky, Collins and Akritas, Johnson, Krandick.Our first contribution is a generic algorithm which enables ...

The tan(x/2) substitution, also called the Weierstrass substitution, is one method currently used by computer-algebra systems for the evaluation of trigonometric integrals. The method needs to be improved, because the expressions obtained using it sometimes ...

Algebraic calculations that depend upon a full partition can be automated through the use of an operator P for the derivation of such a partition. Calculations that require the repeated use of P are automated by simply iterating the operator. The ...

The classical orthogonal polynomials are given as the polynomial solutions pn(x) of the differential equation σ(x)y''(x) + τ(x)y'(x) + λy(x) = 0, where σ(x) is a polynomial of at most second degree ...

KeYmaera is a hybrid verification tool for hybrid systems that combines deductive, real algebraic, and computer algebraic prover technologies. It is an automated and interactive theorem prover for a natural specification and verification logic for hybrid ...

In this paper, we investigate the discretization of an elliptic boundary value problem in 3D by means of the hp-version of the finite element method using a mesh of tetrahedrons. We present several bases based on integrated Jacobi polynomials ...

We solve two computational problems concerning plane algebraic curves over finite fields: generating a uniformly random point, and finding all points deterministically in amortized polynomial time (over a prime field, for nonexceptional curves).

The authors have developed a package that can simulate in detail passengers' traffic within the departures terminal of Málaga airport. This is one of the main Spanish airports, with an average traffic of more than 20,000 passengers/day, and a high ...

The articles in Education in this issue again illustrate the diversity of levels and material that this section strives for. The first article is rich in background on applications of mathematics and numerical computing that could be used in courses ...

In this paper a model called symbolic function network (SFN) is introduced; that is based on using elementary functions (for example powers, the exponential function, and the logarithm) as building blocks. The proposed method uses these building blocks ...

There is a rich, enduring and fairly well known relationship between mathematics and music---for reasons that probably aren't fully understood, people interested and talented in mathematics often are interested and talented in music as well. Perhaps ...