We give a new proof of the classical Watson theorem for the summation of a 3F2 hypergeometric series of unit argument. The proof relies on the two well-known Gauss summation theorems for the 2F1 function. Mathematics Subject Classification: 33C20

The acquiring of formal, abstract mathematical concepts by students may be said to be one of the major goals of mathematics teaching. How are such abstract concepts acquired? How does this formal knowledge interact with the students' intuitive knowledge of mathematics? How does the transition from informal mathematical knowledge to formal mathematical knowledge take place? This paper reports on...

The recognition of mathematics notation by a computer is made difficult by the two-dimensional nature of the parsing problem as well as by the richness and ambiguity of the notation. Parsing mathematics typeset in TEX constitutes a simplified, idealized 2D recognition problem, allowing the recognition engine to concentrate more on semantic understanding. Choosing TEX as an input form for mathem...

The paper commences by reviewing some of the issues currently being raised with respect to the use of technology in undergraduate mathematics teaching and learning. Selected material from three research projects is used to address a series of questions. The questions relate to the use of symbolic manipulators in tertiary mathematics, to undergraduate student attitudes towards the use of compute...

The recognition of mathematics notation by a computer is made di cult by the two dimensional nature of the parsing problem as well as by the richness and ambiguity of the notation Parsing mathematics typeset in TEX constitutes a simpli ed idealized D recognition problem allowing the recognition engine to concentrate more on semantic understanding Choosing TEX as an input form for mathematics is...

In this paper we deal with monogenic and k-hypermonogenic automorphic forms on arithmetic subgroups of the Ahlfors-Vahlen group. Monogenic automorphic forms are exactly the 0-hypermonogenic automorphic forms. In the first part we establish an explicit relation between k-hypermonogenic automorphic forms and Maaß wave forms. In particular, we show how one can construct from any arbitrary non-vani...

[1] Estimates of the dissipation of subinertial currents due to bottom boundary layer drag at the eastern and western boundaries of the North Atlantic ocean, between 15 N and 60 N, are computed using data from the world’s largest archive of ocean current meter time series. We show from these data that a significant proportion of such loss in this region is due to dissipation at the western boun...

Principally a new approach to detection of anomalies in geophysical records is connected with a fuzzy mathematics application. The theory of discrete mathematical analysis and collection of algorithms for time series processing constructed on its basis represent results of this research direction. These algorithms are the consequence of fuzzy modeling of logic of an interpreter who visually rec...

We study the mathematical model of thermoacoustic tomography in media with a variable speed for a fixed time interval Œ0;T  so that all signals issued from the domain leave it after time T . In case of measurements on the whole boundary, we give an explicit solution in terms of a Neumann series expansion. We give almost necessary and sufficient conditions for uniqueness and stability when the ...

This paper presents a preliminary mathematical model for classification systems which change over time. Capturing this dynamic change is useful in instance-based matching from older versions of a classification system to newer versions. Such mappings have practical implications for the development of historical economic time series when the classification of economic activity has undergone change.