Shinya Miyajima

Available identifiers

zbMath Open miyajima.shinyaMaRDI QIDQ389545

List of research outcomes

Publication	Date of Publication	Type
Some properties concerning Perron vectors of weakly irreducible nonnegative tensors, and their application to rigorous enclosure	2024-02-28	Paper
Fast verified computation for real powers of large matrices with Kronecker structure	2023-06-27	Paper
Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation	2022-08-10	Paper
Verified computation of matrix gamma function	2022-05-05	Paper
Fast verified computation for positive solutions to \(\mathcal{M} \)-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors	2022-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q5003340	2021-07-21	Paper
Computing enclosures for the matrix Mittag-Leffler function	2021-05-11	Paper
Verified computation for the geometric mean of two matrices	2021-05-04	Paper
Verified computation of real powers of matrices	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3307861	2020-08-12	Paper
Enclosing Moore-Penrose inverses	2020-04-21	Paper
Verified computation for the matrix Lambert \(W\) function	2020-01-09	Paper
Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations	2019-11-28	Paper
Verified computation for the matrix principal logarithm	2019-05-29	Paper
Verified computation of the matrix exponential	2019-05-16	Paper
Verified solutions of delay eigenvalue problems	2019-03-28	Paper
Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation	2019-01-24	Paper
Fast verified computation for the solution of the T-congruence Sylvester equation	2018-12-21	Paper
Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation	2018-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4568078	2018-06-15	Paper
Fast verified computation for solutions of algebraic Riccati equations arising in transport theory	2017-12-15	Paper
Fast verified computation for the matrix principal \(p\)th root	2017-11-03	Paper
Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations	2017-03-16	Paper
Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C	2016-02-01	Paper
Fast verified computation for solutions of continuous-time algebraic Riccati equations	2015-09-15	Paper
Verified bounds for all the singular values of matrix	2015-02-25	Paper
Fast Enclosure for All Eigenvalues and Invariant Subspaces in Generalized Eigenvalue Problems	2014-12-17	Paper
Fast enclosure for a matrix inverse square root	2014-12-09	Paper
A sharp error bound of the approximate solutions for saddle point linear systems	2014-10-28	Paper
Fast enclosure for solutions of generalized Sylvester equations	2014-08-29	Paper
Componentwise enclosure for solutions of least squares problems and underdetermined systems	2014-04-02	Paper
Fast enclosure for solutions of Sylvester equations	2014-01-21	Paper
Numerical enclosure for each eigenvalue in generalized eigenvalue problem	2012-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q3084845	2011-03-25	Paper
Fast enclosure for solutions in underdetermined systems	2010-08-27	Paper
Fast enclosure for all eigenvalues in generalized eigenvalue problems	2010-03-04	Paper
Large-Scale Scientific Computing	2007-11-15	Paper
Existence test for solution of nonlinear systems applying affine arithmetic	2007-02-02	Paper
A method of obtaining verified solutions for linear systems suited for Java	2007-02-02	Paper
Computer Algebra in Scientific Computing	2006-07-07	Paper
Numerical Analysis and Its Applications	2005-12-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shinya Miyajima