Other Research Achievements

Basic information

Name Ryo Kobayashi
Belonging department Management Information Course,Department of Business,Faculty of Humanities and Social Sciences
Occupation name Associate Professor
researchmap researcher code
researchmap agency

Title 

Verification method for solution of symmetric saddle point linear system with null space method

					

					

						

							

								

									
Sole or Joint Author 

									
								

							

						

						
Joint Author

					

					

						

							

								

									
Date of Issue 

									
								

							

						

						
201809

					

					

						

							

								

									
Conference Presentation(name) 

									
								

							

						

						
The 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics(SCAN2018)

					

					

						

							

								

									
Summary 

									
								

							

						

						
Authors : R. Kobayashi, A. Minamihata, S. Oishi
Abstract : At the international conference on verification methods held at Waseda University, we presented a verification method for solutions of linear systems with structural characteristic coefficient. Uniqueness of this study is using the null space of the coefficient.
I provided ideas, proved theorems, illustrates the effectiveness of the research through numerical experiments, and made presentations at conferences.