Erratum: Errata to “On the construction of Lyapunov functions with computer assistance” [J. Comp. Appl. Math. 319 (2017) 385-412] ( Journal of Computational and Applied Mathematics (2017) 319(385-412) (S0377042717300067), (10.1016/j.cam.2017.01.002))

Kaname Matsue; Tomohiro Hiwaki; Nobito Yamamoto

doi:10.1016/j.cam.2020.113175

Erratum: Errata to “On the construction of Lyapunov functions with computer assistance” [J. Comp. Appl. Math. 319 (2017) 385-412] ( Journal of Computational and Applied Mathematics (2017) 319(385-412) (S0377042717300067), (10.1016/j.cam.2017.01.002))

Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto

応用理論研究部門

研究成果: ジャーナルへの寄稿 › コメント/討論 › 査読

1 被引用数 (Scopus)

抄録

This note states the correction of arguments in the proof of Theorem 3.2 in the original paper.

本文言語	英語
論文番号	113175
ジャーナル	Journal of Computational and Applied Mathematics
巻	384
DOI	https://doi.org/10.1016/j.cam.2020.113175
出版ステータス	出版済み - 3月 1 2021

!!!All Science Journal Classification (ASJC) codes

計算数学
応用数学

文献へのアクセス

10.1016/j.cam.2020.113175

他のファイルとリンク

フィンガープリント

「Erratum: Errata to “On the construction of Lyapunov functions with computer assistance” [J. Comp. Appl. Math. 319 (2017) 385-412] ( Journal of Computational and Applied Mathematics (2017) 319(385-412) (S0377042717300067), (10.1016/j.cam.2017.01.002))」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル

Matsue, K., Hiwaki, T., & Yamamoto, N. (2021). Erratum: Errata to “On the construction of Lyapunov functions with computer assistance” [J. Comp. Appl. Math. 319 (2017) 385-412] ( Journal of Computational and Applied Mathematics (2017) 319(385-412) (S0377042717300067), (10.1016/j.cam.2017.01.002)). Journal of Computational and Applied Mathematics, 384, Article 113175. https://doi.org/10.1016/j.cam.2020.113175

Erratum: Errata to “On the construction of Lyapunov functions with computer assistance” [J. Comp. Appl. Math. 319 (2017) 385-412] ( Journal of Computational and Applied Mathematics (2017) 319(385-412) (S0377042717300067), (10.1016/j.cam.2017.01.002)). / Matsue, Kaname; Hiwaki, Tomohiro; Yamamoto, Nobito.
In: Journal of Computational and Applied Mathematics, Vol. 384, 113175, 01.03.2021.

研究成果: ジャーナルへの寄稿 › コメント/討論 › 査読

Matsue, K, Hiwaki, T & Yamamoto, N 2021, 'Erratum: Errata to “On the construction of Lyapunov functions with computer assistance” [J. Comp. Appl. Math. 319 (2017) 385-412] ( Journal of Computational and Applied Mathematics (2017) 319(385-412) (S0377042717300067), (10.1016/j.cam.2017.01.002))', Journal of Computational and Applied Mathematics, vol. 384, 113175. https://doi.org/10.1016/j.cam.2020.113175

Matsue K, Hiwaki T, Yamamoto N. Erratum: Errata to “On the construction of Lyapunov functions with computer assistance” [J. Comp. Appl. Math. 319 (2017) 385-412] ( Journal of Computational and Applied Mathematics (2017) 319(385-412) (S0377042717300067), (10.1016/j.cam.2017.01.002)). Journal of Computational and Applied Mathematics. 2021 3月 1;384:113175. doi: 10.1016/j.cam.2020.113175

Matsue, Kaname ; Hiwaki, Tomohiro ; Yamamoto, Nobito. / Erratum : Errata to “On the construction of Lyapunov functions with computer assistance” [J. Comp. Appl. Math. 319 (2017) 385-412] ( Journal of Computational and Applied Mathematics (2017) 319(385-412) (S0377042717300067), (10.1016/j.cam.2017.01.002)). In: Journal of Computational and Applied Mathematics. 2021 ; Vol. 384.

@article{bb765600a4794bc3a5fb6fc6a9a02f71,

title = "Erratum: Errata to “On the construction of Lyapunov functions with computer assistance” [J. Comp. Appl. Math. 319 (2017) 385-412] ( Journal of Computational and Applied Mathematics (2017) 319(385-412) (S0377042717300067), (10.1016/j.cam.2017.01.002))",

abstract = "This note states the correction of arguments in the proof of Theorem 3.2 in the original paper.",

author = "Kaname Matsue and Tomohiro Hiwaki and Nobito Yamamoto",

note = "Funding Information: KM was partially supported by Coop with Math Program (The Institute of Statistical Mathematics) , a commissioned project by Ministry of Education, Culture, Sports, Science and Technology (MEXT) , Japan. TH and NY were partially supported by CREST , JST. Moreover, we would also like to thank Mr. Koki Nitta for contributing modifications of the proof of Theorem. Finally we would like to thank the reviewers for providing careful checks and significant suggestions in our arguments. Publisher Copyright: {\textcopyright} 2020 Elsevier B.V.",

year = "2021",

month = mar,

day = "1",

doi = "10.1016/j.cam.2020.113175",

language = "English",

volume = "384",

journal = "Journal of Computational and Applied Mathematics",

issn = "0377-0427",

publisher = "Elsevier",

}

TY - JOUR

T1 - Erratum

T2 - Errata to “On the construction of Lyapunov functions with computer assistance” [J. Comp. Appl. Math. 319 (2017) 385-412] ( Journal of Computational and Applied Mathematics (2017) 319(385-412) (S0377042717300067), (10.1016/j.cam.2017.01.002))

AU - Matsue, Kaname

AU - Hiwaki, Tomohiro

AU - Yamamoto, Nobito

N1 - Funding Information: KM was partially supported by Coop with Math Program (The Institute of Statistical Mathematics) , a commissioned project by Ministry of Education, Culture, Sports, Science and Technology (MEXT) , Japan. TH and NY were partially supported by CREST , JST. Moreover, we would also like to thank Mr. Koki Nitta for contributing modifications of the proof of Theorem. Finally we would like to thank the reviewers for providing careful checks and significant suggestions in our arguments. Publisher Copyright: © 2020 Elsevier B.V.

PY - 2021/3/1

Y1 - 2021/3/1

N2 - This note states the correction of arguments in the proof of Theorem 3.2 in the original paper.

AB - This note states the correction of arguments in the proof of Theorem 3.2 in the original paper.

UR - http://www.scopus.com/inward/record.url?scp=85090832250&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85090832250&partnerID=8YFLogxK

U2 - 10.1016/j.cam.2020.113175

DO - 10.1016/j.cam.2020.113175

M3 - Comment/debate

AN - SCOPUS:85090832250

SN - 0377-0427

VL - 384

JO - Journal of Computational and Applied Mathematics

JF - Journal of Computational and Applied Mathematics

M1 - 113175

ER -