Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore
Made available in DSpace on 2013-08-07T18:42:24Z (GMT). No. of bitstreams: 1 000426166-Texto+Completo-0.pdf: 1112842 bytes, checksum: 272980ccb156c75a298ac99c2e9c1b46 (MD5) Previous issue date: 2010 === Bounding the solution set of Systems of Linear Equations is a major problem in Computer Science...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Pontifícia Universidade Católica do Rio Grande do Sul
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10923/1477 |