|
| Title |
Verified Solutions of Linear Systems
without Directed Rounding |
| Authors |
Takeshi Ogita, Siegfried M. Rump,
Shin'ichi Oishi |
| Keywords |
elf-validating methods, verified solution
of linear systems, directed rounding, round-to-nearest |
| Documents |
◇
Manuscript（PDF）
◇ Abstract（PDF） |
|
|
|
