(Ilmumisaeg: 14-Feb-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031245718)
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 to p...Loe edasi...
(Ilmumisaeg: 14-Feb-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031245718)
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 to p...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...
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...
Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 08-Apr-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319317694)
This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Wurzburg, Germany, in September 2014.The 22 full papers presented were carefullyreviewed and selected from 60 submissions. The main concer...Loe edasi...
Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 08-Apr-2016, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319317694)
This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Wurzburg, Germany, in September 2014.The 22 full papers presented were carefullyreviewed and selected from 60 submissions. The main concer...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. Howeve...Loe edasi...
(Ilmumisaeg: 05-Jul-2011, PDF+DRM, Kirjastus: Princeton University Press, ISBN-13: 9781400838974)
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 computing and pure mathe...Loe edasi...
(Ilmumisaeg: 05-Jul-2011, EPUB+DRM, Kirjastus: Princeton University Press, ISBN-13: 9781400838974)
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 computing and pure mathe...Loe edasi...
(Ilmumisaeg: 29-Oct-2002, EPUB+DRM, Kirjastus: Taylor & Francis Inc, ISBN-13: 9781040200520)
How can one be assured that computer codes that solve differential equations are correct? Standard practice using benchmark testing no longer provides full coverage because todays production codes solve more complex equations using more powerful alg...Loe edasi...
(Ilmumisaeg: 29-Oct-2002, PDF+DRM, Kirjastus: Taylor & Francis Inc, ISBN-13: 9781420035421)
How can one be assured that computer codes that solve differential equations are correct? Standard practice using benchmark testing no longer provides full coverage because todays production codes solve more complex equations using more powerful alg...Loe edasi...
