Computer Algebra in Scientific Computing, Vladimir P. Gerdt; Wolfram Koepf; Werner M. Seiler

Автор: Vladimir P. Gerdt; Ernst Mayr; Evgenii V. Vorozhts
Название: Computer Algebra in Scientific Computing
ISBN: 3642041027 ISBN-13(EAN): 9783642041020
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC 2009, held in Kobe, Japan, in September 2009.

Автор: Gerdt
Название: Computer Algebra in Scientific Computing
ISBN: 3319456407 ISBN-13(EAN): 9783319456409
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016. They deal with cutting-edge research in all major disciplines of Computer Algebra.

Автор: Xue
Название: Scientific Computing with MATLAB, Second Edition
ISBN: 1498757774 ISBN-13(EAN): 9781498757775
Издательство: Taylor&Francis
Рейтинг:
Цена: 16078.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Improving students` ability to tackle mathematical problems, this second edition retains the structure of its predecessor while expanding and updating the content of each chapter.

Автор: Wos Larry & Pieper Gail W
Название: Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning
ISBN: 9810239106 ISBN-13(EAN): 9789810239107
Издательство: World Scientific Publishing
Рейтинг:
Цена: 19166.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book shows you - through examples and puzzles and intriguing questions - how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program. The automation of reasoning has advanced markedly in the past few decades, and this book discusses some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design. Because the intended audience includes students and teachers, the book provides many exercises (with hints and also answers), as well as tutorial chapters that gently introduce readers to the field of logic and to automated reasoning in general. For more advanced researchers, the book presents challenging questions, many of which are still unsolved.

Автор: Viktor G. Ganzha; Ernst W. Mayr; Evgenii V. Vorozh
Название: Computer Algebra in Scientific Computing
ISBN: 3642624901 ISBN-13(EAN): 9783642624902
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, Octobe5r 5-9, 2000

Автор: Victor G. Ganzha; Ernst W. Mayr; Evgenii V. Vorozh
Название: Computer Algebra in Scientific Computing CASC`99
ISBN: 3642643094 ISBN-13(EAN): 9783642643095
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The development of powerful computer algebra systems has considerably ex tended the scope of problems of scientific computing which can now be solved successfully with the aid of computers.

Автор: Viktor G. Ganzha; Ernst W. Mayr; Evgenii V. Vorozh
Название: Computer Algebra in Scientific Computing CASC 2001
ISBN: 364262684X ISBN-13(EAN): 9783642626845
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In particular, five papers are devoted to the implementation of the analysis of involutive systems with the aid of CASso The specific examples include new efficient algorithms for the computation of Janet bases for monomial ideals, involutive division, involutive reduction method, etc.

Автор: Vladimir P. Gerdt; Wolfram Koepf; Ernst W. Mayr; E
Название: Computer Algebra in Scientific Computing
ISBN: 3319022962 ISBN-13(EAN): 9783319022963
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2013, held in Berlin, Germany, in September 2013. the use of computer algebra for the investigation of various mathematical and applied topics related to ordinary differential equations (ODEs);