Shinya Miyajima (“ú–{Œê / English)

Professor, Mathematical Science and Physics Course, Faculty of Science and Engineering, Iwate University

Visiting Professor, Graduate School of Advanced Science and Engineering, Hiroshima University

Ph.D. in Information Science

Contact address

Faculty of Science and Engineering, Iwate University

4-3-5 Ueda, Morioka, Iwate 020-8551, Japan

miyajima (at) iwate-u (dot) ac (dot) jp

Education

  Ph.D. in Information Science, Graduate school of science and engineering, Waseda University, Japan, March 2005

  Master of Information Science, Graduate school of science and engineering, Waseda University, Japan, September 2002

  Bachelor of Engineering, Faculty of science and engineering, Waseda University, Japan, March 2001

Employment

  Professor, Faculty of science and engineering, Iwate University, Japan, April 2016 -

  Associate Professor, Faculty of engineering, Gifu University, Japan, September 2007 - March 2016

  Visiting Lecturer (full-time), Research institute for science and engineering, Waseda University, Japan, April 2006 - August 2007

  Assistant Professor, Faculty of science and engineering, Waseda University, Japan, April 2003 - March 2006

Research interests (MathSciNet, ORCID, Publons, Scopus)

Applied mathematics. Especially

Talk schedule

Refereed journal papers

  1. Ippei Obayashi, Shinya Miyajima, Kazuaki Tanaka, Koichi Mayumi, Enhanced estimation method for partial scattering functions in CV-SANS via Gaussian process with prior knowledge of smoothness, Journal of Applied Crystallography, Volume 58, Part 3, Pages 976-991, June 2025

  2. Koichi Mayumi, Tatsuro Oda, Shinya Miyajima, Ippei Obayashi, Kazuaki Tanaka, Error evaluation of partial scattering functions obtained from contrast variation small-angle neutron scattering, Journal of Applied Crystallography, Volume 58, Part 1, Pages 4-17, February 2025

  3. Shinya Miyajima, Some properties concerning Perron vectors of weakly irreducible nonnegative tensors, and their application to rigorous enclosure, Linear Algebra and its Applications, Volume 687, Pages 207-228, April 2024

  4. Shinya Miyajima, Fast verified computation for real powers of large matrices with Kronecker structure, Applied Mathematics and Computation, Volume 453, Article number 128055, Pages 1-22, September 2023

  5. Shinya Miyajima, Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation, Calcolo, Volume 59, Issue 3, Article number 31, Pages 1-16, September 2022

  6. Shinya Miyajima, Fast verified computation for positive solutions to M-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors, Journal of Computational and Applied Mathematics, Volume 406, Article number 113930, Pages 1-15, May 2022

  7. Shinya Miyajima, Verified computation of matrix gamma function, Linear and Multilinear Algebra, Volume 70, Number 7, Pages 1207-1229, May 2022 (Top 10% most cited article)

  8. Shinya Miyajima, Verified computation of real powers of matrices, Journal of Computational and Applied Mathematics, Volume 391, Article number 113431, Pages 1-13, August 2021

  9. Shinya Miyajima, Fast verification for the Perron pair of an irreducible nonnegative matrix, The Electronic Journal of Linear Algebra, Volume 37, Pages 402-415, May 2021

  10. Shinya Miyajima, Computing enclosures for the matrix Mittag-Leffler function, Journal of Scientific Computing, Volume 87, Issue 2, Article number 62, Pages 1-22, May 2021

  11. Shinya Miyajima, Verified computation for the geometric mean of two matrices, Japan Journal of Industrial and Applied Mathematics, Volume 38, Issue 1, Pages 211-232, January 2021

  12. Shinya Miyajima, Enclosing Moore-Penrose inverses, Calcolo, Volume 57, Issue 1, Article number 7, Pages 1-16, March 2020

  13. Shinya Miyajima, Verified computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencils, Journal of Mathematical Research with Applications, Volume 40, Number 1, Pages 73-84, January 2020

  14. Shinya Miyajima, Verified computation for the matrix Lambert W function, Applied Mathematics and Computation, Volume 362, Article number 124555, Pages 1-15, December 2019

  15. Shinya Miyajima, Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations, Japan Journal of Industrial and Applied Mathematics, Volume 36, Issue 3, Pages 763-776, September 2019

  16. Shinya Miyajima, Advances in verified computations for solutions of matrix equations, Bulletin of JSIAM, Volume 29, Number 2, Pages 18-25, June 2019 [In Japanese]

  17. Shinya Miyajima, Verified computation for the matrix principal logarithm, Linear Algebra and its Applications, Volume 569, Pages 38-61, May 2019

  18. Shinya Miyajima, Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation, Journal of Computational and Applied Mathematics, Volume 350, Pages 80-86, April 2019

  19. Shinya Miyajima, Verified computation of the matrix exponential, Advances in Computational Mathematics, Volume 45, Issue 1, Pages 137-152, February 2019

  20. Shinya Miyajima, Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation, Computational and Applied Mathematics, Volume 37, Issue 4, Pages 4599-4610, September 2018

  21. Shinya Miyajima, Fast verified computation for the solution of the T-congruence Sylvester equation, Japan Journal of Industrial and Applied Mathematics, Volume 35, Issue 2, Pages 541-551, July 2018

  22. Shinya Miyajima, Fast verified computation for the solvent of the quadratic matrix equation, The Electronic Journal of Linear Algebra, Volume 34, Pages 137-151, March 2018

  23. Shinya Miyajima, Fast verified computation for the matrix principal pth root, Journal of Computational and Applied Mathematics, Volume 330, Pages 276-288, March 2018

  24. Shinya Miyajima, Fast verified computation for solutions of algebraic Riccati equations arising in transport theory, Numerical Linear Algebra with Applications, Volume 24, Issue 5, Article number e2098, Pages 1-12, October 2017

  25. Shinya Miyajima, Verified solutions of inverse symmetric eigenvalue problems, Reliable Computing, Volume 24, Pages 31-44, September 2017

  26. Shinya Miyajima, Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations, Journal of Computational and Applied Mathematics, Volume 319, Pages 352-364, August 2017

  27. Shinya Miyajima, Verified solutions of delay eigenvalue problems, Applied Mathematics and Computation, Volume 303, Pages 211-225, June 2017

  28. Shinya Miyajima, Fast verified computation for solutions of continuous-time algebraic Riccati equations, Japan Journal of Industrial and Applied Mathematics, Volume 32, Issue 2, Pages 529-544, July 2015

  29. Shinya Miyajima, Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C, Numerical Linear Algebra with Applications, Volume 22, Issue 3, Pages 548-563, May 2015

  30. Shinya Miyajima, A sharp error bound of the approximate solutions for saddle point linear systems, Journal of Computational and Applied Mathematics, Volume 277, Pages 36-46, March 2015

  31. Shinya Miyajima, Fast enclosure for solutions of generalized least squares problems, Reliable Computing, Volume 20, Pages 89-112, February 2015

  32. Shinya Miyajima, Fast enclosure for a matrix inverse square root, Linear Algebra and its Applications, Volume 467, Pages 116-135, February 2015

  33. Hiroshi Mabuchi, Shinya Miyajima, An algorithm for checking incorrectness of a rule in equivalent transformation programs, International Journal of Innovative Computing, Information and Control, Volume 11, Number 1, Pages 327-347, February 2015

  34. Shinya Miyajima, Verified bounds for all the singular values of matrix, Japan Journal of Industrial and Applied Mathematics, Volume 31, Issue 3, Pages 513-539, November 2014

  35. Shinya Miyajima, Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems, SIAM Journal on Matrix Analysis and Applications, Volume 35, Number 3, Pages 1205-1225, September 2014

  36. Shinya Miyajima, Fast enclosure for solutions of generalized Sylvester equations, Japan Journal of Industrial and Applied Mathematics, Volume 31, Issue 2, Pages 293-304, June 2014

  37. Shinya Miyajima, Componentwise enclosure for solutions of least squares problems and underdetermined systems, Linear Algebra and its Applications, Volume 444, Pages 28-41, March 2014

  38. Shinya Miyajima, Fast enclosure for solutions of Sylvester equations, Linear Algebra and its Applications, Volume 439, Issue 4, Pages 856-878, August 2013

  39. Shinya Miyajima, Fast enclosure of matrix polynomials, Reliable Computing, Volume 18, Pages 9-14, January 2013

  40. Shinya Miyajima, The relation between two types of error bounds for computed matrix eigenvalues, Reliable Computing, Volume 16, Pages 107-113, April 2012

  41. Shinya Miyajima, Componentwise error estimates for solutions obtained by stationary iterative methods, Reliable Computing, Volume 16, Pages 102-106, April 2012

  42. Shinya Miyajima, Numerical enclosure for each eigenvalue in generalized eigenvalue problem, Journal of Computational and Applied Mathematics, Volume 236, Issue 9, Pages 2545-2552, March 2012

  43. Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Algorithmic debugging of equivalent transformation programs using oracle rules, International Journal of Innovative Computing, Information and Control, Volume 7, Number 8, Pages 4703-4716, August 2011

  44. Shinya Miyajima, Fast enclosure for solutions in underdetermined systems, Journal of Computational and Applied Mathematics, Volume 234, Issue 12, Pages 3436-3444, October 2010

  45. Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi, Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems, Reliable Computing, Volume 14, Pages 24-45, June 2010

  46. Shinya Miyajima, Fast enclosure for all eigenvalues in generalized eigenvalue problems, Journal of Computational and Applied Mathematics, Volume 233, Issue 11, Pages 2994-3004, April 2010

  47. Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Yuya Wakamatsu, Automatic detection of incorrect rules in equivalent transformation programs, International Journal of Innovative Computing, Information and Control, Volume 5, Number 8, Pages 2203-2218, August 2009

  48. Keichiro Kashiwagi, Shinya Miyajima, Masahide Kashiwagi, Finding all solution of systems of nonlinear equations using GPU, Transactions of JSIAM, Volume 18, Number 3, Pages 347-362, October 2008 [in Japanese]

  49. Shinya Miyajima, Masahide Kashiwagi, Existence test for solution in nonlinear system applying affine arithmetic, Journal of Computational and Applied Mathematics, Volume 199, Issue 2, Pages 304-309, February 2007

  50. K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump, A method of obtaining verified solutions for linear systems suited for Java, Journal of Computational and Applied Mathematics, Volume 199, Issue 2, Pages 337-344, February 2007

  51. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi, Numerical verification for each eigenpair of symmetric matrix, Transactions of JSIAM, Volume 16, Number 4, Pages535-552, December 2006 [in Japanese]

  52. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi, Numerical verification for each eigenvalues of symmetric matrix, Transactions of JSIAM, Volume 15, Number 3, Pages 253-268, September 2005 [in Japanese]

  53. Shinya Miyajima, Masahide Kashiwagi, A dividing method utilizing the best multiplication in affine arithmetic, IEICE Electronics Express, Volume 1, Number 7, Pages176-181, July 2004

  54. Shinya Miyajima, Masahide Kashiwagi, On range inclusion of polynomials applying interval arithmetic, IEICE Transactions Volume E87-A, Number 3, Pages 725-731, March 2004

  55. Shinya Miyajima, Takatomi Miyata, Masahide Kashiwagi, A new dividing method in affine arithmetic, IEICE Transactions Volume E86-A, Number 9, Pages 2192-2196, September 2003

  56. Shinya Miyajima, Takatomi Miyata, Kenichi Shirai, Masahide Kashiwagi, On the multiplicaton and the division of the affine arithmetic, IEICE Transactions Volume J86-A, Number 3, Pages 232-240, March 2003 [In Japanese]

  57. Shinya Miyajima, Takatomi Miyata, Masahide Kashiwagi, On the best multiplication of the affine arithmetic, IEICE Transactions Volume J86-A, Number 2, Pages 150-159, February 2003 [In Japanese]

Invited talks at international meetings

  1. Shinya Miyajima, Fast interval computation for Perron vectors of a class of weakly irreducible nonnegative tensors, Numerical methods for spectral problems: theory and applications, Miyako Island ICT Communication Center, Okinawa, Japan, August 2025

  2. Shinya Miyajima, Numerical computation of intervals containing the solvents to the quadratic matrix equations, [Keynote Lecture] 2nd International Conference on Non-linear Analysis and Computational Techniques (ICNACT-2025), VIT Bhopal University, Bhopal, India, August 2025

  3. Shinya Miyajima, Fast verified computation for all eigenvalues and basis of invariant subspaces of a real symmetric matrix, Numerical methods for spectral problems: theory and applications, New Akan Hotel, Hokkaido, Japan, August 2023

  4. Shinya Miyajima, Fast verified computation for the Perron pair of an irreducible nonnegative matrix, RIMS Symposium (open), Numerical methods for spectral problems: theory and applications, Kyoto University, Kyoto, Japan, September 2019

  5. Shinya Miyajima, Numerical enclosure for solutions in least squares problems, 2009 International Workshop on Numerical Verification and its Applications (INVA2009), Hotel Breeze Bay Marina, Okinawa, Japan, March 2009

  6. Shinya Miyajima, Michael Plum, Takeshi Ogita, Shin'ichi Oishi, Verifying all eigenvalues in generalized eigenvalue problem, 2008 International Workshop on Numerical Verification and its Applications (INVA2008), Tokyo Dai-ichi Hotel, Okinawa, Japan, March 2008

  7. Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi, Verified all eigenpairs of generalized eigenvalue problem, International Workshop on Numerical Verification and its Applications, Waseda University, Tokyo, Japan, February 2007

Refereed conference proceedings

  1. Kentaro Murata, Naoki Honma, Shinya Miyajima, RePH: RIS-inspired electronic phantom, Proceedings of the 30th International Symposium on Antennas and Propagation (ISAP 2025), ACROS Fukuoka, Fukuoka, Japan, October, 2025

  2. Yuto Ozawa, Kentaro Murata, Naoki Honma, Shinya Miyajima, Boundary on channel reconstruction accuracy of RePH, Proceedings of the 2025 IEEE International Symposium on Antennas & Propagation and North American Radio Science Meeting (IEEE AP-S/URSI 2025), Rogers Centre Ottawa, Ottawa, Canada, July 2025

  3. Shinya Miyajima, Perturbation bounds for the matrix Mittag-Leffler function, Proceedings of The 18th East Asia SIAM Conference (EASIAM 2025), De La Salle University, Manila, Philippines, Page 76, July 2025

  4. Shinya Miyajima, Amir Sadeghi, Some norm bounds on the complimentary error matrix functions, Proceedings of 26th Conference of the International Linear Algebra Society (ILAS 2025), National Sun Yat-sen University, Kaohsiung, Taiwan, Pages 86-87, June 2025

  5. Ayumi Sato, Chihiro Segawa, Kentaro Murata, Naoki Honma, Shinya Miyajima, On the reconstruction accuracy of MIMO radar channel by reconfigurable electronic phantom, Proceedings of the 29th International Symposium on Antennas and Propagation (ISAP 2024), Songdo Convensia, Incheon, South Korea, Pages 1-2, November 2024

  6. Shinya Miyajima, Verified error bounds for all eigenvalues and basis of invariant subspaces of a real symmetric matrix, Proceedings of 25th Conference of the International Linear Algebra Society (ILAS 2023), Polytechnic University of Madrid, Madrid, Spain, Pages 193-194, June 2023

  7. Shinya Miyajima, Fast enclosure for real powers of Kronecker structured large matrices, AIP Conference Proceedings, Volume 3094, Issue 1, Article number 500003, Pages 500003-1-500003-4, June 2024 (Proceedings of the 20th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2022), online, September 2022)

  8. Shinya Miyajima, Computing the enclosure for Perron vectors of weakly irreducible nonnegative tensors, AIP Conference Proceedings, Volume 3094, Issue 1, Article number 500004, Pages 500004-1-500004-4, June 2024 (Proceedings of the 20th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2022), online, September 2022)

  9. Shinya Miyajima, Fast enclosure for positive solutions to M-tensor multi-linear systems, AIP Conference Proceedings, Volume 2849, Issue 1, Article number 450008, Pages 450008-1-450008-4, September 2023 (Proceedings of the 19th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2021), online, September 2021)

  10. Shinya Miyajima, Fast verification for Perron vectors of a kind of weakly irreducible nonnegative tensors, AIP Conference Proceedings, Volume 2849, Issue 1, Article number 450009, Pages 450009-1-450009-4, September 2023 (Proceedings of the 19th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2021), online, September 2021)

  11. Shinya Miyajima, Fast verified computation for the minimal nonnegative solution to the nonsymmetric T-Riccati equation, AIP Conference Proceedings, Volume 2849, Issue 1, Article number 450010, Pages 450010-1-450010-4, September 2023 (Proceedings of the 19th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2021), online, September 2021)

  12. Shinya Miyajima, Verified bounds for matrix gamma function, Proceedings of the 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020), online, Pages 49-50, September 2021

  13. Shinya Miyajima, Computing enclosure for matrix real powers, Proceedings of the 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020), online, Pages 51-52, September 2021

  14. Shinya Miyajima, Self-validating numerical algorithms for the matrix Mittag-Leffler function, Proceedings of SIAM Conference on Applied Linear Algebra, online, May 2021

  15. Shinya Miyajima, Validated numerical computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencil, Proceedings of International Conference on Recent Advances in Applied Mathematics (ICRAAM2020), DoubleTree by Hilton Hotel Kuala Lumpur, Kuala Lumpur, Malaysia, Page 69, February 2020

  16. Shinya Miyajima, Validated numerical computation for the Perron pair of an irreducible nonnegative matrix, Proceedings of International Conference on Recent Advances in Applied Mathematics (ICRAAM2020), DoubleTree by Hilton Hotel Kuala Lumpur, Kuala Lumpur, Malaysia, Page 70, February 2020

  17. Shinya Miyajima, Computation of intervals containing Moore-Penrose inverses, Proceedings of The 14th East Asia SIAM Conference (EASIAM 2019), Wuhan University, Wuhan, China, Pages 27-28, June 2019

  18. Shinya Miyajima, Verification algorithms for the matrix Lambert W functions, Proceedings of International Conference on Mathematical Sciences and Technology (MathTech2018), Hotel Equatorial Penang, Penang, Malaysia, Page 110, December 2018

  19. Shinya Miyajima, A robust algorithm for computing intervals containing the stabilizing solutions of the discrete-time algebraic Riccati equations, Proceedings of International Conference on Mathematical Sciences and Technology (MathTech2018), Hotel Equatorial Penang, Penang, Malaysia, Page 104, December 2018

  20. Shinya Miyajima, Validated computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation, Proceedings of The 13th East Asia SIAM Conference (EASIAM 2018), University of Tokyo, Tokyo, Japan, Page 39, June 2018

  21. Shinya Miyajima, Validated computation for the matrix principal logarithm, Proceedings of The 13th East Asia SIAM Conference (EASIAM 2018), University of Tokyo, Tokyo, Japan, Page 37, June 2018

  22. Shinya Miyajima, Fast validated computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation, Proceedings of The 13th East Asia SIAM Conference (EASIAM 2018), University of Tokyo, Tokyo, Japan, Page 38, June 2018

  23. Shinya Miyajima, Fast validated computation for the solvent of the quadratic matrix equation, Proceedings of The 3rd International Conference on Mathematical Sciences and Statistics (ICMSS2018), Le Meridien Putrajaya, Putrajaya, Malaysia, Page 112, February 2018

  24. Shinya Miyajima, Fast validated computation for the solution of the T-congruence Sylvester equation, Proceedings of The 3rd International Conference on Mathematical Sciences and Statistics (ICMSS2018), Le Meridien Putrajaya, Putrajaya, Malaysia, Page 116, February 2018

  25. Shinya Miyajima, Validated computation for the matrix exponential, Proceedings of The 3rd International Conference on Mathematical Sciences and Statistics (ICMSS2018), Le Meridien Putrajaya, Putrajaya, Malaysia, Page 113, February 2018

  26. Shinya Miyajima, Validated computation for the geometric mean of two matrices, Proceedings of The 12th East Asia SIAM Conference (EASIAM 2017), Seoul National University, Seoul, South Korea, Pages 55-56, June 2017

  27. Shinya Miyajima, Fast validated computation for the matrix principal pth root, Proceedings of The 12th East Asia SIAM Conference (EASIAM 2017), Seoul National University, Seoul, South Korea, Pages 57-58, June 2017

  28. Shinya Miyajima, Validated solutions to inverse symmetric eigenvalue problems, Proceedings of The 12th East Asia SIAM Conference (EASIAM 2017), Seoul National University, Seoul, South Korea, Pages 59-60, June 2017

  29. Shinya Miyajima, Fast validated computation for solutions of discrete-time algebraic Riccati equations, Proceedings of 17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN 2016), Uppsala University, Uppsala, Sweden, Pages 89-90, September 2016

  30. Shinya Miyajima, Fast validated computation for solutions of algebraic Riccati equations arising in transport theory, Proceedings of 17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN 2016), Uppsala University, Uppsala, Sweden, Pages 87-88, September 2016

  31. Shinya Miyajima, Verified solutions of delay eigenvalue problems with multiple eigenvalues, Proceedings of SIAM Conference on Applied Linear Algebra, Hyatt Regency Atlanta, Georgia, US, Page 62, October 2015

  32. Shinya Miyajima, Enclosing solutions of the delay eigenvalue problem, Proceedings of 2015 Australia and New Zealand Industrial and Applied Mathematics Conference (ANZIAM 2015), Outrigger Surfers Paradise, Gold Coast, Australia, Page 74, February 2015

  33. Shinya Miyajima, Fast inclusion for the matrix inverse square root, Proceedings of 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2014), University of Würzburg, Würzburg, Germany, Pages 111-113, September 2014

  34. Shinya Miyajima, Verified solutions of saddle point linear systems, Proceedings of 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2014), University of Würzburg, Würzburg, Germany, Pages 114-116, September 2014

  35. Shinya Miyajima, Fast verified computation for solutions of generalized least squares problems, Proceedings of 2013 The European Numerical Mathematics and Advanced Applications Conference (ENUMATH 2013), EPF Lausanne, Lausanne, Switzerland, Pages 270-271, August 2013

  36. Shinya Miyajima, Fast enclosure for solutions of continuous-time algebraic Riccati equations, Proceedings of The 9th East Asia SIAM Conference - The 2nd Conference on Industrial and Applied Mathematics (EASIAM - CIAM 2013), Newton Hotel, Bandung, West Java, Indonesia, Pages 48-49, June 2013

  37. Shinya Miyajima, Fast inclusion for the minimum norm least squares solutions of the matrix equations AXB = C, Proceedings of The 9th East Asia SIAM Conference - The 2nd Conference on Industrial and Applied Mathematics (EASIAM - CIAM 2013), Newton Hotel, Bandung, West Java, Indonesia, Pages 50-51, June 2013

  38. Shinya Miyajima, Componentwise inclusion for solutions in least squares problems and underdetermined systems, Proceedings of 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN 2012), Siberian Department of the Russian Academy of Sciences, Novosibirsk, Russia, Pages 105-106, September 2012

  39. Shinya Miyajima, Verified computations for all generalized singular values, Proceedings of 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN 2012), Siberian Department of the Russian Academy of Sciences, Novosibirsk, Russia, Pages 107-108, September 2012

  40. Shinya Miyajima, Enclosing solutions in Sylvester equations, Proceedings of The 17th International Linear Algebra Society Conference (ILAS 2011), TU Braunschweig, Braunschweig, Germany, Page 105, August 2011

  41. Shinya Miyajima, Error estimation for solutions obtained by stationary iterative methods, Proceedings of 7th International Congress on Industrial and Applied Mathematics (ICIAM 2011), Vancouver Convention Centre, Vancouver, Canada, Page 185, July 2011

  42. Shinya Miyajima, The relation between two algorithms for enclosing matrix eigenvalues, Proceedings of 24th Biennial Conference on Numerical Analysis, University of Strathclyde, Glasgow, Scotland, Page 36, June 2011

  43. Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Examining incorrectness of a rule in equivalent transformation programs, Proceedings of The 11th International Conference on Intelligent Technologies (InTech 2010), Assumption University, Bangkok, Thailand, Pages 22-30, December 2010

  44. Shinya Miyajima, Error bounds for computed eigenvalues in generalized eigenvalue problem, Proceedings of 14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), ENS Lyon, Lyon, France, Pages 95-96, September 2010

  45. Shinya Miyajima, Enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems, AIP Conference Proceedings, Volume 1281, Pages 945-948, September 2010 (Proceedings of Minisymposium on Numerical Methods for Eigenvalue Problems within the 8th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010), Rodos Palace Hotel, Island of Rhodes, Greece, September 2010)

  46. Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, A debugging algorithm in equivalent transformation model using oracle rules, Proceedings of The 4th International Conference on Innovative Computing, Information and Control (ICICIC2009), Ambassador Hotel Kaohsiung, Kaohsiung, Taiwan, CD-ROM 4 pages, December 2009

  47. Shinya Miyajima, Enclosing solutions in least squares problems, HERMIS - An International Journal of Computer Mathematics and its Applications, Volume 11, Pages 51-58, December 2009 (Proceedings of The 9th Hellenic European Research on Computer Mathematics and its Applications Conference (HERCMA 2009), Athens University of Economics and Business, Athens, Greece, September 2009)

  48. Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Algorithmic debugging of equivalent transformation programs based on differences in certainty of rules, Proceedings of The 9th International Conference on Intelligent Technologies (InTech'08), Samui Palm Beach Resort, Samui, Thailand, Pages 103-112, October 2008

  49. Shinya Miyajima, Enclosing all eigenvalues in generalized eigenvalue problem, Proceedings of 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN 2008), University of Texas at El Paso, Texas, US, Pages 73-74, September 2008

  50. Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Yuya Wakamatsu, Detecting incorrect rules automatically in equivalent transformation programs, Proceedings of The 2nd International Conference on Innovative Computing, Information and Control (ICICIC2007), Kumamoto City International Center, Kumamoto, Japan, CD-ROM 4 pages, September 2007

  51. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi, Verifying all eigenpairs in real symmetric positive definite generalized eigenvalue problem, Proceedings of 6th International Congress on Industrial and Applied Mathematics (ICIAM 07), ETH Zürich, Zürich, Switzerland, Pages 2020061-2020062, July 2007

  52. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi, Fast verification for each eigenpair of symmetric matrix, Proceedings of 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), University of Duisburg-Essen, Duisburg, Germany, Pages 187-188, September 2006

  53. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi, A method of generating linear systems with an arbitrarily ill-conditioned matrix and an arbitrary solution, Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications (NOLTA 2005), SEC@Bruges, Bruges, Belgium, Pages 741-744, October 2005

  54. K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump, Componentwise verified solutions of linear systems suited for Java, Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications (NOLTA 2005), SEC@Bruges, Bruges, Belgium, Pages 749-752, October 2005

  55. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi, Fast verification for respective eigenvalues of symmetric matrix, Lecture Notes in Computer Science, Volume 3718, Pages 306-317, 2005 (Proceedings of The 8th International Conference on Computer Algebra in Scientific Computing (CASC'2005), Hotel Filoxenia, Kalamata, Greece, Septemper 2005)

  56. Shinya Miyajima, Takeshi Ogita, Katsuhisa Ozaki, Shin'ichi Oishi, Fast error estimation for eigenvalues of symmetric matrix without directed rounding, Proceedings of 2004 International Symposium on Nonlinear Theory and its Applications (NOLTA 2004), ACROS Fukuoka, Fukuoka, Japan, Pages 167-170, December 2004

  57. Shinya Miyajima, Masahide Kashiwagi, A method which finds maxima and minima of a multivariable function applying mean value form, Proceedings of 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2004), Nishitetsu Grand Hotel, Fukuoka, Japan, Page 83, October 2004

  58. Shinya Miyajima, Masahide Kashiwagi, A method which finds maxima and minima of a multivariable function applying affine arithmetic, Lecture Notes in Computer Science, Volume 3401, Pages 424-431, 2005 (Proceedings of 3rd International Conference on Numerical Analysis and Applications (3rd NA&A), Division of Numerical Analysis and Statistics, University of Rousse "Angel Kanchev", Rousse, Bulgaria, Page 31, June 2004)

  59. Shinya Miyajima, Masahide Kashiwagi, Existence examination of solution in systems of nonlinear equations applying affine arithmetic, Proceedings of 4th International Conference on Intelligent Technologies (Intech'03), Chiang Mai Plaza Hotel, Chiang Mai, Thailand, Pages 552-561, December 2003

  60. Masahide Kashiwagi, Shinya Miyajima, On the application of the best multiplication to division in affine arithmetic, Proceedings of 2nd St. Petersburg Days of LOGIC and COMPUTABILITY, Euler International Mathematical Institute, St. Petersburg, Russia, Page 38, August 2003

  61. Shinya Miyajima, Masahide Kashiwagi, On range evaluation of polynomials by applying interval arithmetic, Lecture Notes in Computer Science, Volume 2907, Pages 254-261, 2004 (Proceedings of 4th International Conference on Large-Scale Scientific Computations (LSSC '03), Bulgarian Red Cross Educational Center, Sozopol, Bulgaria, Pages B-33 - B-34, June 2003)

  62. Shinya Miyajima, Masahide Kashiwagi, On new dividing method in affine arithmetic, Proceedings of 2002 International Symposium on Nonlinear Theory and its Applications (NOLTA2002), Xi'an International Conference Center, PRC, Xi'an, China, Pages 479-482, October 2002

Submitted journal papers

© Shinya Miyajima