Verification Methods for Linear Systems on a GPU

Y. Morikura, K. Ozaki, S. Oishi

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)113-114
JournalBook of Abstracts
Publication statusPublished - 2012 Sep 27

Cite this

Verification Methods for Linear Systems on a GPU. / Morikura, Y.; Ozaki, K.; Oishi, S.

In: Book of Abstracts, 27.09.2012, p. 113-114.

Research output: Contribution to journalArticle

Morikura, Y. ; Ozaki, K. ; Oishi, S. / Verification Methods for Linear Systems on a GPU. In: Book of Abstracts. 2012 ; pp. 113-114.
@article{d159f752b2d544369fe5fc5ed0a326a2,
title = "Verification Methods for Linear Systems on a GPU",
author = "Y. Morikura and K. Ozaki and S. Oishi",
year = "2012",
month = "9",
day = "27",
language = "English",
pages = "113--114",
journal = "Book of Abstracts",

}

TY - JOUR

T1 - Verification Methods for Linear Systems on a GPU

AU - Morikura, Y.

AU - Ozaki, K.

AU - Oishi, S.

PY - 2012/9/27

Y1 - 2012/9/27

M3 - Article

SP - 113

EP - 114

JO - Book of Abstracts

JF - Book of Abstracts

ER -