スポンサーリンク
Research Institute for Mathematical Sciences Kyoto University | 論文
- Interactive Theorem Proving on Hierarchically and Modularly Structured Sets of Very Many Axioms (Mathematical Methods in Software Science and Engineering)
- A time-change approach to Kotani's extension of Yor's formula
- Auslander Modules and Quasi-Homogeneity of Local Rings
- An IMT-Type Double Exponential Formula for Numerical Integration
- A Structural Approach to Pointer Data Types
- Module-Wise Compilation for a Language with Type-Parameterization Mechanism (Mathematical Methods in Software Science and Engineering)
- Separate Compilation of Type-parameterized Modules
- Manifestly Covariant Canonical Formulation of the Yang-Mills Field Theories. I : General Formalism
- Elastic Multi-layered Analysis Using DE-Integration
- On the Uniqueness for the Cauchy Problem for Elliptic Equations with Triple Characteristics
- Quark Confinement with a Regular Cutoff
- A Remark on the Fast Gauss Transform
- Application of M-Convex Submodular Flow Problem to Mathematical Economics
- Penalising symmetric stable Levy paths
- Notes on Highest Weight Modules of the Elliptic Algebra [numerical formula]
- The Linear Complementarity Problem on Oriented Matroids(Special Issue on Algorithm Engineering : Surveys)
- Micro-hyperbolic pseudo-differential operators I
- Structure of a single pseudo-differential equation in a real domain
- Zero Actions and Energy Functions for Perfect Crystals
- 真正粘菌変形体の環境適応性(非平衡系の物理-非平衡ゆらぎと集団挙動-,研究会報告)