Research and Technical Catalog
Arithmetic invariant theory and related geometry
- ISHITSUKA, Yasuhiro
- Keyword: Number Theory, Arithmetic Invariant Theory, Diophantine Geometry
- Reference
Modeling of Solid-to-Solid Phase-Transformations in Shape-Memory Alloys Homogenization and Gamma-Convergence Problems for Nematic Elastomers
- CESANA, Pierluigi
- Keyword: PDEs, Calculus of Variations, Gamma-convergence, Materials Science
- Reference
Algebraic specification
- GAINA, Daniel
- Keyword: Logic, Formal Methods, Category Theory
- Reference