Kawachi in press Is Sidaama a marked nominative language
全文
図
関連したドキュメント
An example of a database state in the lextensive category of finite sets, for the EA sketch of our school data specification is provided by any database which models the
Our ultimate object being to classify quadratic forms over free modules with unique base, in this paper we study quadratic forms in terms of orthogonal de- compositions of such
The categories of prespectra, symmetric spectra and orthogonal spec- tra each carry a cofibrantly generated, proper, topological model structure with fibrations and weak
We find the criteria for the solvability of the operator equation AX − XB = C, where A, B , and C are unbounded operators, and use the result to show existence and regularity
As application of our coarea inequality we answer this question in the case of real valued Lipschitz maps on the Heisenberg group (Theorem 3.11), considering the Q − 1
The commutative case is treated in chapter I, where we recall the notions of a privileged exponent of a polynomial or a power series with respect to a convenient ordering,
[30] T. Guerin; Existence of nonnegative solutions to singular elliptic problems, a variational approach, Discrete Contin. Guerin; Multiplicity of weak solutions to subcritical
By using either Proposition 3.2 or Theorem 3.1, one can see easily that (g, %, r) is a Riemann-Poisson Lie algebra and hence (G, h , i, π) is a Riemann-Poisson Lie group where π is