(Ilmumisaeg: 03-Apr-2025, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9781316516133)
This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework problems for graduate students, and new material on to...Loe edasi...
This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes t...Loe edasi...
A comprehensive, self-contained primer on validated numericsThis textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific comput...Loe edasi...
(Ilmumisaeg: 15-Feb-2023, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031245701)
This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes t...Loe edasi...
In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases,...Loe edasi...
Recently, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases, comput...Loe edasi...
This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014. The 22 full papers presented were carefullyreviewed and selected from 60 submissions....Loe edasi...
The importance of accuracy verification methods was understood at the very beginning of the development of numerical analysis. Recent decades have seen a rapid growth of results related to adaptive numerical methods and a posteriori estimates. How...Loe edasi...
(Ilmumisaeg: 25-Jul-2011, Hardback, Kirjastus: Princeton University Press, ISBN-13: 9780691147819)
This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics. In numerous fields ranging from pharmaceutics an...Loe edasi...
(Ilmumisaeg: 14-Oct-2010, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9780521113601)
Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy. This book provides a comprehensive and systematic development of the basic concepts, pri...Loe edasi...
Sam S.Y. Wang, Patrick J. Roche, Richard A. Schmalz, Yafei Jia
(Ilmumisaeg: 30-Mar-2009, Paperback / softback, Kirjastus: American Society of Civil Engineers, ISBN-13: 9780784409572)
Published by the American Society of Civil Engineers, this text provides a rigorous and systematic verification and validation process for computational modeling. These models have been in greatly increasing demand in the fields of engineering, desig...Loe edasi...
International agreements, such as those governing arms control and the environment, virtually always require some degree of verification so that compliance can be established. To ensure that the verification process is regarded as efficient, effectiv...Loe edasi...
Presents a method for verifying the order of accuracy of computer code written to solve partial differential equations. Order verification via the manufactured solution procedure (OVMSP) combines the method of manufactured exact solutions (MMES) and...Loe edasi...
Sari: Series in Discrete Mathematics & Theoretical Computer Science
(Ilmumisaeg: 01-Jan-1997, Hardback, Kirjastus: American Mathematical Society, ISBN-13: 9780821805794)
The proceedings from the July 1996 workshop surveying the theory and practice of modeling, specifying, and validating concurrent systems. The 18 presentations, developed by researchers from related but diverse fields, focus on practical and theoretic...Loe edasi...
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
This text provides the interval analysis community with surveys of important recent creations of validated numerical algorithms. It informs the numerical analysts and the appliers of numerical software about the enormous variety of problem-solving a...Loe edasi...
