Shinya Miyajima

Learn More
A fast method for enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems is proposed. Firstly theorems on verifying all eigenvalues are presented. Next a theorem on verifying all eigenvectors is presented. The proposed method is developed based on these theorems. Numerical results are presented showing the efficiency of the(More)
A debugging algorithm in equivalent transformation model is proposed. The proposed algorithm returns a bug rule in a program by receiving new rules from oracles (oracle rules). We construct a theory about correctness of the proposed algorithm. Moreover we present two strategies for selecting a part of computational states which an oracle rule transforms.