Fingerprint Dive into the research topics where Advanced Computing Infrastructure Section is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Numerical Verification Mathematics
Computer-assisted Proof Mathematics
Data storage equipment Engineering & Materials Science
Communication Engineering & Materials Science
Mathematical operators Engineering & Materials Science
Elliptic Operator Mathematics
Fixed point theorem Mathematics
Heat convection Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1993 2019

A computer-assisted method for the diblock copolymer model

Cai, S. & Watanabe, Y., Jul 1 2019, In : ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik. 99, 7, e201800125.

Research output: Contribution to journalArticle

Block copolymers
Banach Fixed Point Theorem
Sobolev spaces
Compact Operator

An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces

Kinoshita, T., Watanabe, Y. & Nakao, M. T., Apr 15 2019, In : Journal of Differential Equations. 266, 9, p. 5431-5447 17 p.

Research output: Contribution to journalArticle

Hilbert spaces
Linear Operator
Mathematical operators
Hilbert space
Dual space
Elliptic Operator
Linear Operator
A Priori Error Estimates