Scientific computing with automatic result verification

>> Google Books

Scientific computing with automatic result verification

フォーマット:

図書

責任表示:

edited by E. Adams, U. Kulisch

言語:

英語

出版情報:

Boston ; Tokyo : Academic Press, c1993

形態:

x, 612 p. : ill. ; 24 cm

著者名:

シリーズ名:

Mathematics in science and engineering : a series of monographs and textbooks ; v. 189 <BA00009880>

書誌ID:

BA18830690

ISBN:

9780120442102 [0120442108]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	数学
LCCN:	92247371
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Computer arithmetic in theory and practice Kulisch, Ulrich W., Miranker, Willard L. Academic Press	7 電子ブック Computer Algebra in Scientific Computing : 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings Gerdt, Vladimir P., Mayr, Ernst W., Vorozhtsov, Evgenii V., SpringerLink (Online service) Springer Berlin Heidelberg
2 図書 LECTURES ON RESULTS ON BEZOUT'S THEOREM VOGEL, W NAROSA PUB. HOUSE	8 電子ブック Computer Algebra in Scientific Computing (vol. # 3718) : 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings Ganzha, Victor G., Vorozhtsov, Evgenii V., Mayr, Ernst W., SpringerLink (Online service) Springer-Verlag GmbH.
3 図書 Algebraic Topology Adams	9 電子ブック Computer Algebra in Scientific Computing : 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings Gerdt, Vladimir P., Koepf, Wolfram, Mayr, Ernst W., Vorozhtsov, Evgenii V., SpringerLink (Online service) Springer-Verlag Heidelberg
4 図書 Recent advances in scientific computing and partial differential equations : international conference on the occasion of Stanley Osher's 60th birthday, December … Cheng, S. Y., Shu, C. -W., Tang, T., International Conference on Scientific Computing and Partial Differential Equations American Mathematical Society	10 電子ブック Computer Algebra in Scientific Computing : 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings Gerdt, Vladimir P., Koepf, Wolfram, Mayr, Ernst W., Vorozhtsov, Evgenii V., SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg
5 図書 Lectures on proof verification and approximation algorithms Mayr, Ernst W., Prömel, H. J., Steger, Angelika Springer	11 図書 Kompakt erzeugte Vektorräume und Analysis Seip, Ulrich Springer-Verlag
6 電子ブック Computer Algebra in Scientific Computing : 10th International Workshop CASC 2007 Bonn Germany September 16-20 2007. Proceedings Ganzha Victor G., Vorozhtsov Evgenii V., Mayr Ernst W., SpringerLink (Online service) Springer-Verlag	12 図書 FIXED POINT THEORY OF PARAMETRIZED EQUIVARIANT MAPS ULRICH, H SPRINGER-VLG