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