Автор: Jacques Carette; Lucas Dixon; Claudio Sacerdoti Co Название: Intelligent Computer Mathematics ISBN: 3642026133 ISBN-13(EAN): 9783642026133 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 16th Symposium Calculemus 2009 8th International Conference MKM 2009 Grand Bend Canada July 612 200. .
Автор: Herman Geuvers; Matthew England; Osman Hasan; Flor Название: Intelligent Computer Mathematics ISBN: 3319620746 ISBN-13(EAN): 9783319620749 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning;
Автор: Watrous, John (university Of Waterloo, Ontario) Название: The theory of quantum information ISBN: 1107180562 ISBN-13(EAN): 9781107180567 Издательство: Cambridge Academ Рейтинг: Цена: 11563.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intended for graduate students and researchers, this book presents a formal development of the mathematical theory of quantum information. Largely self-contained, with clear proofs and a wide range of exercises, it will help the reader grasp the fundamental facts and techniques that form the mathematical foundations of the subject.
Автор: von zur Gathen Название: Modern Computer Algebra ISBN: 1107039037 ISBN-13(EAN): 9781107039032 Издательство: Cambridge Academ Рейтинг: Цена: 17582.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Designed to accompany one- or two-semester courses for advanced undergraduate or graduate students, this textbook is widely regarded as the `bible of computer algebra`. Its comprehensiveness and reliability also makes it an essential reference for professionals. This updated edition includes an overview of recent improvements in areas like primality testing.
Описание: This specialvolume is a collection of outstanding more applied articles presented in AMAT2015 held in Ankara, May 28-31, 2015, at TOBB Economics and TechnologyUniversity.The collectionis suitable for Applied and Computational Mathematics and Engineeringpractitioners, also for related graduate students and researchers.
Автор: Bradley Efron and Trevor Hastie Название: Computer Age Statistical Inference ISBN: 1107149894 ISBN-13(EAN): 9781107149892 Издательство: Cambridge Academ Рейтинг: Цена: 9029.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The twenty-first century has seen a breathtaking expansion of statistical methodology, both in scope and in influence. 'Big data', 'data science', and 'machine learning' have become familiar terms in the news, as statistical methods are brought to bear upon the enormous data sets of modern science and commerce. How did we get here? And where are we going? This book takes us on an exhilarating journey through the revolution in data analysis following the introduction of electronic computation in the 1950s. Beginning with classical inferential theories - Bayesian, frequentist, Fisherian - individual chapters take up a series of influential topics: survival analysis, logistic regression, empirical Bayes, the jackknife and bootstrap, random forests, neural networks, Markov chain Monte Carlo, inference after model selection, and dozens more. The distinctly modern approach integrates methodology and algorithms with statistical inference. The book ends with speculation on the future direction of statistics and data science.
Автор: Manfred Kerber; Jacques Carette; Cezary Kaliszyk; Название: Intelligent Computer Mathematics ISBN: 3319206141 ISBN-13(EAN): 9783319206141 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions.
Автор: Jacques Carette; David Aspinall; Christoph Lange; Название: Intelligent Computer Mathematics ISBN: 3642393195 ISBN-13(EAN): 9783642393198 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Calculemus.- The Rooster and the Butterflies.- Optimising Problem Formulation for Cylindrical Algebraic Decomposition.- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation.- Certification of Bounds of Non-linear Functions: The Templates Method.- Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy.- A Universal Machine for Biform Theory Graphs.- MKM.- Mathematical Practice, Crowdsourcing, and Social Machines.- Automated Reasoning Service for HOL Light.- Understanding Branch Cuts of Expressions.- Formal Mathematics on Display: A Wiki for Flyspeck.- Determining Points on Handwritten Mathematical Symbols.- Capturing Hiproofs in HOL Light.- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.- Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System.- DML.- Mathematics and the World Wide Web.- Structural Similarity Search for Mathematics Retrieval.- Towards Machine-Actionable Modules of a Digital Mathematics Library: The Example of DML-CZ.- A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions.- Three Years of DLMF: Web, Math and Search.- Escaping the Trap of Too Precise Topic Queries.- Using MathML to Represent Units of Measurement for Improved Ontology Alignment.- Systems and Projects.- A Web Interface for Isabelle: The Next Generation.- The ForMaRE Project - Formal Mathematical Reasoning in Economics.- LATExml 2012 - A Year of LATExml.- The MMT API: A Generic MKM System.- Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today.- A Dynamic Symbolic Geometry Environment Based on the GrцbnerCover Algorithm for the Computation of Geometric Loci and Envelopes.- ML4PG in Computer Algebra Verification.- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems.- The Web Geometry Laboratory Project.- swMATH - A New Information Service for Mathematical Software.- Software for Evaluating Relevance of Steps in Algebraic Transformations.- The DeLiVerMATH Project: Text Analysis in Mathematics.
Автор: Hill Название: Learning Scientific Programming with Python ISBN: 1107075416 ISBN-13(EAN): 9781107075412 Издательство: Cambridge Academ Рейтинг: Цена: 13779.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Learn to master basic programming tasks from scratch with real-life scientific examples drawn from many different areas of science and engineering. This complete introduction to using Python teaches Numpy, SciPy and Matplotlib libraries and is supported by extensive online resources to provide a targeted package for students and researchers.
Описание: This book describes the latest advances in intelligent techniques such as fuzzy logic, neural networks, and optimization algorithms, and their relevance in building intelligent information systems in combination with applied mathematics.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions.
Автор: Guha Название: Computer Graphics Through OpenGL® ISBN: 1138612642 ISBN-13(EAN): 9781138612648 Издательство: Taylor&Francis Рейтинг: Цена: 18374.00 р. Наличие на складе: Нет в наличии.
Описание: COMPREHENSIVE COVERAGE OF SHADERS AND THE PROGRAMMABLE PIPELINE From geometric primitives to animation to 3D modeling to lighting, shading and texturing, Computer Graphics Through OpenGL®: From Theory to Experiments is a comprehensive introduction to computer graphics which uses an active learning style to teach key concepts. Equally emphasizing theory and practice, the book provides an understanding not only of the principles of 3D computer graphics, but also the use of the OpenGL® Application Programming Interface (API) to code 3D scenes and animation, including games and movies. The undergraduate core of the book takes the student from zero knowledge of computer graphics to a mastery of the fundamental concepts with the ability to code applications using fourth-generation OpenGL®. The remaining chapters explore more advanced topics, including the structure of curves and surfaces, applications of projective spaces and transformations and the implementation of graphics pipelines. This book can be used for introductory undergraduate computer graphics courses over one to two semesters. The careful exposition style attempting to explain each concept in the simplest terms possible should appeal to the self-study student as well. Features • Covers the foundations of 3D computer graphics, including animation, visual techniques and 3D modeling• Comprehensive coverage of OpenGL® 4.x, including the GLSL and vertex, fragment, tessellation and geometry shaders• Includes 180 programs with 270 experiments based on them• Contains 750 exercises, 110 worked examples, and 700 four-color illustrations• Requires no previous knowledge of computer graphics• Balances theory with programming practice using a hands-on interactive approach to explain the underlying concepts
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
