No abstract uploaded!

In view of such problems as lacking interaction between figures and text and difficulty in simultaneous positioning of explanation with figures in chinese geometry exercise solution, a Win32 C++ voice lecturing tool integrated with HTML5 dynamic geometry software is designed to realize free control of lecturing progress, random skipping through double-click, simultaneous interaction and highlighting of figure and text, and automatic synchronized reading. On the basis of JavaScript regular expression, the semantic comprehension of geometry exercise text is realized and the production rule set of automatic plotting is designed. During voice synthesising line by line, the mathematic language undergoes normalization processing and figure highlighting information extraction. The study can shed some light on the GeoGebra integrated development and semantic comprehension-based automatic plotting application, and it can be applied to innovative geometry teaching and knowledge base structuring fields.

In this paper we show that for a generic strictly convex domain, one can recover the eigendata corresponding to Aubry–Mather periodic orbits of the induced billiard map from the (maximal) marked length spectrum of the domain.

NRODUCTION LET y be a rectifiable Jordan curve in three-dimensional euclidean space. Answering an old question, whether y can bound a surface with minimal area, Douglas [l I] and Rad6 [45](independently) found a minimal surface spanning y which is parametrized by the disk. This minimal surface has minimal area among all Lipschitz maps from the disk into R3 which span y. The question whether this solution has branch points or not was finally settled by Osserman [42], who proved that there are no interior true branch points, and by Gulliver [lS], who proved that there are no interior false branch points.

We study the resonances of the Laplacian acting on the compactly supported sections of a homogeneous vector bundle over a Riemannian symmetric space of the non-compact type. The symmetric space is assumed to have rank-one but the irreducible representation τ of K defining the vector bundle is arbitrary. We determine the resonances. Under the additional assumption that τ occurs in the spherical principal series, we determine the resonance representations. They are all irreducible. We find their Langlands parameters, their wave front sets and determine which of them are unitarizable.