数論的不変式論とそれにまつわる幾何

• 石塚 裕大
• Keyword: 数論，数論的不変式論，ディオファンタス幾何
• 詳細

Modeling of Solid-to-Solid Phase-Transformations in Shape-Memory Alloys Homogenization and Gamma-Convergence Problems for Nematic Elastomers

• Pierluigi CESANA
• Keyword: PDEs, Calculus of Variations, Gamma-convergence, Materials Science
• 詳細

Algebraic specification

• Daniel GAINA
• Keyword: Logic, Formal Methods, Category Theory
• 詳細