C++ Toolbox for Verified Computing - Basic Numerical Problems
| Year of publication: |
1997
|
|---|---|
| Authors: | Hammer, R. ; Hocks, M. ; Kulisch, U. ; Ratz, D. ; Csendes, Tibor |
| Published in: |
Journal of global optimization : an international journal dealing with theoretical and computational aspects of seeking global optima and their applications in science, management and engineering. - Dordrecht [u.a.] : Springer, ISSN 0925-5001, ZDB-ID 1074566x. - Vol. 10.1997, 1, p. 105
|