Intelligent Computer Mathematics, Cezary Kaliszyk; Edwin Brady; Andrea Kohlhase; Cla

Автор: Bradley Efron and Trevor Hastie
Название: Computer Age Statistical Inference
ISBN: 1107149894 ISBN-13(EAN): 9781107149892
Издательство: Cambridge Academ
Рейтинг:
Цена: 60190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Herman Geuvers; Matthew England; Osman Hasan; Flor
Название: Intelligent Computer Mathematics
ISBN: 3319620746 ISBN-13(EAN): 9783319620749
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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;

Автор: Stephen M. Watt; Alan Sexton; James H. Davenport;
Название: Intelligent Computer Mathematics
ISBN: 331908433X ISBN-13(EAN): 9783319084336
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics.

Автор: Manfred Kerber; Jacques Carette; Cezary Kaliszyk;
Название: Intelligent Computer Mathematics
ISBN: 3319206141 ISBN-13(EAN): 9783319206141
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Serge Autexier; John Campbell; Julio Rubio; Volker
Название: Intelligent Computer Mathematics
ISBN: 3540851097 ISBN-13(EAN): 9783540851097
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the joint proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK.

Автор: Jacques Carette; David Aspinall; Christoph Lange;
Название: Intelligent Computer Mathematics
ISBN: 3642393195 ISBN-13(EAN): 9783642393198
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Rabe
Название: Intelligent Computer Mathematics
ISBN: 3319968114 ISBN-13(EAN): 9783319968117
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.

Автор: George A. Anastassiou; Oktay Duman
Название: Intelligent Mathematics II: Applied Mathematics and Approximation Theory
ISBN: 3319303201 ISBN-13(EAN): 9783319303208
Издательство: Springer
Рейтинг:
Цена: 261210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Radek Silhavy; Roman Senkerik; Zuzana Kominkova Op
Название: Cybernetics and Mathematics Applications in Intelligent Systems
ISBN: 3319572636 ISBN-13(EAN): 9783319572635
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents new methods for and approaches to real-world problems as well as exploratory research describing novel mathematics and cybernetics applications in intelligent systems.

Автор: George A. Anastassiou
Название: Intelligent Mathematics: Computational Analysis
ISBN: 3642436587 ISBN-13(EAN): 9783642436581
Издательство: Springer
Рейтинг:
Цена: 243800.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Knowledge can be modeled and computed using computational mathematical methods, then lead to real world conclusions. This book examines a wide array of topics in computational analysis.