Componentwise verified solutions of linear system suited for Java

Publikationstyp

Conference Paper

Date Issued

2005

Sprache

English

Author(s)

Ozaki, Katsuhisa

Miyajima, Shinya

Oishi, Shin’ichi

Rump, Siegfried M.

Institut

Zuverlässiges Rechnen E-19

TORE-URI

http://hdl.handle.net/11420/8666

Start Page

749

End Page

752

Citation

NOLTA 2005 International Symposium on Nonlinear Theory and its Applications: 749–752 (2005)

Contribution to Conference

International Symposium on Nonlinear Theory and its Applications, NOLTA'05

DDC Class

004: Informatik

510: Mathematik

More Funding Information

This research was partially supported by CREST program, Japan Science and Technology Agency (JST), 21st Century COE Program (Productive ICT Academia Program, Waseda University) from the Ministry of Education, Science, Sports and Culture of Japan.