Semantic Scholar uses AI to extract papers important to this topic.
I have the honour to submit to the Royal Society of London an apparatus which I have invented, after having witnessed an… Expand In this paper, we show that via a novel construction every rank-3 root system induces a root system of rank 4. Via the Cartan… Expand ly considered from such construction; and which doth accompany it though otherwise constructed than is supposed.7 Wallis thus saw… Expand Like the classical Cartan-Dieudonne theorem, the sheaf-theoretic version shows that [FORMULA]-isometries on a convenient [FORMULA… Expand Models of household economics require an understanding of economic interactions in families. Social ties, repetition and reduced… Expand In the present paper, we prove a substantially improved version of the Pontryagin maximum principle for convex multidimensional… Expand In this paper we suggest to use the B formal method to model a protocol dedicated to smart cards. We use a pragmatic approach to… Expand We prove that in the character group of an abelian topological group, the topology associated (in a standard way) to the… Expand We establish, via auxiliary categories, a version of Newton’s method applicable to nonnormable spaces. We illustrate it with an… Expand