C++ toolbox for verified computing I : basic numerical problems /
57
Main Author: | |
---|---|
Format: | |
Published: |
Berlin : Springer,
1995
|
Subjects: |
Summary: | 57 |
---|
57
Main Author: | |
---|---|
Format: | |
Published: |
Berlin : Springer,
1995
|
Subjects: |
Summary: | 57 |
---|