Lec1 2 最近の更新履歴 yyasuda's website
全文
関連したドキュメント
In the latter half of the section and in the Appendix 3, we prove stronger results on elliptic eta-products: 1) an elliptic eta-product η (R,G) is holomorphic (resp. cuspidal) if
In Section 5 we consider substitutions for which the incidence matrix is unimodular, and we show that the projected points form a central word if and only if the substitution
Theorem 3.5 can be applied to determine the Poincar´ e-Liapunov first integral, Reeb inverse integrating factor and Liapunov constants for the case when the polynomial
Straube; Sobolev estimates for the ∂-Neumann operator on domains in C n admitting a defining function that is plurisubharmonic on the boundary, Math.. Charpentier; Boundary values
We show that the C ∗ -algebra of a locally compact, Hausdorff and principal groupoid is a Fell algebra if and only if the groupoid is one of these relations, extend- ing a theorem
We prove that for some form of the nonlinear term these simple modes are stable provided that their energy is large enough.. Here stable means orbitally stable as solutions of
Theorem 4.1 Two flocks of a hyperbolic quadric in PG ( 3 , K ) constructed as in Section 3 are isomorphic if and only if there is an isomorphism of the corresponding translation
We shall prove the completeness of the operational semantics with respect to Lq, which will establish a tight correspondence between logic (Lq sequent calculus) and computation