P000007

A Numerical Verification Method for Solutions of Symmetric Saddle point Linear Systems  


*Ryo Kobayashi (Waseda University) r-kobayashi@ruri.waseda.jp
Takuma Kimura (Saga University) tkimura@cc.saga-u.ac.jp
Shin'ichi Oishi (Waseda University) oishi@waseda.jp


Math formula preview: