東京 TEL: 本社 TEL: 名古屋 PAGE.2 BUSAN INCHON Vessel Voy ETD CFS CUT BUS CARRIER Vessel Voy ETD CFS CUT INO CARRIER HUNZE TRADER 327W 10
全文
関連したドキュメント
Schneider, “Approximation of the Korteweg-de Vries equation by the nonlinear Schr ¨odinger equation,” Journal of Differential Equations, vol. Schneider, “Justification of
Kapur and Kumer (1986) have used the principle of dynamical programming to prove major inequalities due to Shannon, Renyi, and Hölder..
We prove that all semi-abelian categories with the the Smith is Huq prop- erty satisfy the Commutator Condition (CC): higher central extensions may be charac- terised in terms of
The purpose of the present paper is to investigate the structure of distance spheres and cut locus C(K) to a compact set K of a complete Alexandrov surface X with curvature
Verification of Ptime Reducibilityfor System F termsVia Dual Light Affine Logic – p.12/32.3. Difficulty
In the case of monomial valuations on toric varieties, we apply Theorem 0.1 to give a precise characterization in terms of a system of parameters. For simplicity, we present here
† Institute of Computer Science, Czech Academy of Sciences, Prague, and School of Business Administration, Anglo-American University, Prague, Czech
We introduce new symmetric polynomials which induce a q-difference equation associated with a basic hypergeometric sum of type C n investigated by Gustafson.. Using them we give