Computer Aided Proofs in Analysis, Kenneth R. Meyer; Dieter S. Schmidt
Название: Problems and Proofs in Real Analysis ISBN: 9814578509 ISBN-13(EAN): 9789814578509 Издательство: World Scientific Publishing Рейтинг: Цена: 8870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume consists of the proofs of 391 problems in Real Analysis: Theory of Measure and Integration (3rd Edition).Most of the problems in Real Analysis are not mere applications of theorems proved in the book but rather extensions of the proven theorems or related theorems. Proving these problems tests the depth of understanding of the theorems in the main text.This volume will be especially helpful to those who read Real Analysis in self-study and have no easy access to an instructor or an advisor.
Автор: R.P. Gilbert; Joji Kajiwara; Yongzhi S. Xu Название: Recent Developments in Complex Analysis and Computer Algebra ISBN: 1461379849 ISBN-13(EAN): 9781461379843 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume consists of papers presented in the special sessions on "Complex and Numerical Analysis", "Value Distribution Theory and Complex Domains", and "Use of Symbolic Computation in Mathematics Education" of the ISAAC`97 Congress held at the University of Delaware, during June 2-7, 1997.
Описание: This volume contains mainly a collection of the invited lectures which were given during a conference on "Fundamentals of Numerical Computation," held in June, 5 - 8, 1979, on the occasion of the centennial of the Technical University of Berlin. About hundred scientists from several countries attended this conference. A preceding meeting on "Fundamentals of Computer-Arithmetic" was held in August, 1975, at the "Mathematisches Forschungsinstitut Oberwolfach." The lectures of this conference have been published as Supplementum 1 of Computing (Editors R. Albrecht, U. Kulisch). After a period of four years of active research the purpose of the Berlin-Conference was to give a broad survey of the present status of the closely connected topics Interval Analysis, Mathematical Foundation of Computer Arithmetic, Rounding Error Analysis and Stability of Numerical Algorithms and to give prospects of future activities in these fields. Besides the invited lectures 35 short com- munications, each of 20 minutes length, were given. We gratefully acknowledge the support of the President of the Technical University and of his Aussenreferat as well as of the Department of Mathematics. Besides these institutions financial support was given by AEG-Telefunken, Berlin, Allianz Lebensversicherungs A.G., Stuttgart, CDC, Hamburg/Berlin, DAT A 100, Munchen, Gesellschaft von Freunden der TU Berlin e.V., Berlin and Siemens AG., Berlin. Finally we express our thanks to Mrs. G. Froehlich and Mrs. B. Trajanovic, who managed the paper work before, during and after the conference.
Автор: R.P. Gilbert; Joji Kajiwara; Yongzhi S. Xu Название: Recent Developments in Complex Analysis and Computer Algebra ISBN: 0792359992 ISBN-13(EAN): 9780792359999 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume consists of papers presented in the special sessions on "Complex and Numerical Analysis", "Value Distribution Theory and Complex Domains", and "Use of Symbolic Computation in Mathematics Education" of the ISAAC`97 Congress held at the University of Delaware, during June 2-7, 1997.
Автор: Thomas J. Santner; Brian J. Williams; William I. N Название: The Design and Analysis of Computer Experiments ISBN: 1441929924 ISBN-13(EAN): 9781441929921 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes methods for designing and analyzing experiments conducted using computer code in lieu of a physical experiment. It discusses how to select the values of the factors at which to run the code (the design of the computer experiment).
Автор: C.A. Brebbia Название: Boundary Element Techniques in Computer-Aided Engineering ISBN: 9024730651 ISBN-13(EAN): 9789024730650 Издательство: Springer Рейтинг: Цена: 37874.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on Boundary Elements in CAD, Southampton, England, September 19-30, 1983
Описание: Building on results in theoretical computer science, this work offers theoretical insights and advances in applicable techniques in such areas as computational complexity, efficient (randomized) checking of proofs, programs and polynomials, approximation algoritms, and NP-complete optimization.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
