ADB För Folkbokföring OCH Skatteuppbörd I Sverige

Summary A governmental Swedish committee has suggested conversion to ADP for the file maintenance involved in population registration, tax accounting etc. with a tape-oriented IBM 7070 and five IBM 1401 satellite computers. Investment in hardware, building etc. >6 M$; planning, programming, and file conversion 4 M$. Estimated annual savings, taking depreciation of initial costs into account: 2 M$/yr. Reduction of clerical force more than 1,000.     

Invariante Zwischenkörper endlicher Körpererweiterungen

Let KM be a finite field extension. An intermediate field L is called invariant if there is an affine algebraic K-group acting on M with L as its invariant field. The question, which intermediate fields are invariant, was studied by Bégueri [1] for purely inseparable extensions and by Sweedler [6] for arbitrary extensions, but only for a restricted class of groups. In this paper Bégueri's result is generalized to arbitrary field extensions. Additionally it is shown that one can check whether a given intermediate field is invariant or not by computing the rank of certain matrices. As an application we get a class of invariant intermediate fields.     

Zur Möbiusgeometrie über Alternativkörpern

Zusammenfassung Möbiusgeometrien (K, L) über nicht notwendig kommutativen KörpernKL – eine Definition dieser Geometrien findet man in [1] — sind Verallgemeinerungen der Geometrie der Kreise auf der Riemannschen Zahlenkugel (K=,L=). In der vorliegenden Note wollen wir, unter Verzicht auf die Assoziativität vonL, Möbiusgeometrien auch für den Fall betrachten, woK ein im Zentrum des AlternativkörpersL enthaltener Körper ist, und (in Abschnitt 2) die Gruppe der Kreisverwandtschaften von (K, L) angeben. Dabei benutzen wir, anders als in [1] und [5], nur den Doppelverhältniskalkül, den wir gleichwertig zu der von A. Schleiermacher in [6] vorgeschlagenen Verallgemeinerung für kollineare Punkte einer Moufarigebene definieren. Es ergibt sich damit ein neuer Beweis des Satzes über Kettenverwandtschaften von (K, L) auch im assoziativen Fall. Die Verwendung von Doppelverhältnissen beim Beweis — auch bei charL=2-wird insbesondere durch das in Abschnitt 2 bewiesene Lemma (2.4) (Verallgemeinerung des sog. von Staudtschen Theorems; vgl. [2], [3]) ermöglicht.     

Fixkörper vonp-Automorphismengruppen rein-transzendenter Körpererweiterungen vonp-Charakteristik

Ohne Zusammenfassung Karl Heinrich Weise zum 50. Geburtstag     

Zur Wellenausbreitung im heterogen-porösen Festkörper

Summary A method is developed which allows to describe analytically the two-dimensional elastic wave-field in porous media disturbed by heterogeneities. In the first place circular inclusions are regarded, later inclusions of arbitrary contour.     

Gitterpunktsanzahl und Parallelkörpervolumen von Eikörpern

LetΛ={x=(x ₁,...,x _d )|x _i ∈?} be a lattice in euclideand-spaceR ^d with respect to a rectangular coordinate system with unit vectors. Then for instance the following theorem holds: The number of lattice pointsG(K)=card (K∩Λ) of an arbitrary convex bodyK?R ^d is less or equal the volumeV(K _λd) of the outer parallel bodyK _λd ofK at a distance λ _d =ω _d ^-1/d (ω _d =Volume of thed-unitsphere, 2≤d≤5). The number λ is best possible.     

Zu den Lagrange'schen Lösungen des n-Körperproblems

Ohne Zusammenfassung     

Zur Möbiusgeometrie über einem Körperpaar

Ohne ZusammenfassungHerrn Professor Dr.Reinhold Baer zum 60. Geburtstag am 22. 7. 1962 gewidmet     

On the freeness of Böröczky line arrangements

Periodica Mathematica Hungarica - In the present note, we focus on the freeness and some combinatorial properties of line arrangements in the projective plane having only double and triple points....     

Zu den Lagrange'schen Lösungen des n-Körperproblems II

Ohne Zusammenfassung     

Fastgeordnete Körper

Ohne Zusammenfassung     

Circular proofs for the Gödel-Löb provability logic

Sequent calculus for the provability logic GL is considered, in which provability is based on the notion of a circular proof. Unlike ordinary derivations, circular proofs are represented by graphs allowed to contain cycles, rather than by finite trees. Using this notion, we obtain a syntactic proof of the Lyndon interpolation property for GL.     

Halbbeschränktheit gewöhnlicher Differentialoperatoren höherer Ordnung

Ohne ZusammenfassungAuf Grund des Nachlasses vonF. Rellich bearbeitet vonErhard Heinz in Stanford/California     

Hölder's inequality

In this paper, refinements of Holder's inequality are obtained and some concave functions are defined.     

Über höhere kritische Determinanten von Sternkörpern

Ohne ZusammenfassungDie vorliegende Arbeit verdankt ihre Entstehung und Förderung meinem verehrten Lehrer, Herrn Prof. Dr.E. Hlawka.     

On Möbius form and Möbius isoparametric hypersurfaces

An umbilic-free hypersurface in the unit sphere is called MSbius isoparametric if it satisfies two conditions, namely, it has vanishing MSbius form and has constant MSbius principal curvatures. In this paper, under the condition of having constant MSbius principal curvatures, we show that the hypersurface is of vanishing MSbius form if and only if its MSbius form is parallel with respect to the Levi-Civita connection of its MSbius metric. Moreover, typical examples are constructed to show that the condition of having constant MSbius principal curvatures and that of having vanishing MSbius form are independent of each other.     

Konkave Eikörperfunktionale und höhere Trägheitsmomente

Ohne Zusammenfassung     

Zur Definition der Nörlundschen Hauptlösung von Differenzengleichungen

φ: R→R. Nörlund [4] defined the principal solution f_N of the difference equation $$V (x, y) \varepsilon R \times R_ + : \frac{1}{y}\left[ {g(x + y, y) - g(x, y)} \right] = \phi (x)$$ by V (x, y) ? [b, ∞) ×R₊: $$f_N (x, y) : = \mathop {\lim }\limits_{s \to 0 + } ( \int\limits_a^\infty {\phi (t) e^{ - st} dt} - y \sum\limits_{\nu = 0}^\infty { \phi (x + \nu y) e^{ - s(x + \nu y )} } )$$ with suitable a,bεR and proved the existence of f_N under certain restrictions onφ. In this paper, another way of defining a principal solution of the difference equation above, which includes Nörlund's, is gone. As an application, we construct in an easy manner a class of limitation methods for getting a principal solution, generalizing results from Nörlund [5].¹)