著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
KANNO M.,Validated numerical computation of the L_∞-norm for linear dynamical systems,Journal of Symbolic Computation,,,2006,41,6,697-707,https://cir.nii.ac.jp/crid/1573668923824367872,https://doi.org/10.1016/j.jsc.2005.11.005