研究テーマ / Research Topic
Rigorous Computation, Reliable Computing, Nerural Networks
メンバー
田中 一成 / TANAKA, Kazuaki（准教授 / Associate Professor）
XU, Chenjian（M1）－ Rigorous Enclosure of Solutions to Differential Equations via Neural Operators
CHEN, Audrey（B4）－ Triangulations on Manifolds and Quality Assurance
LEE, Peng Hsuan（B3）