Ads related to springer computational mathematics numerical toolbox for verified computing i: basic numerical problems theory algorithms and pascal-xsc programs book 21 paperback
-
Springer Computational Mathema...This book presents an extensive set of tools for solving basic numerical probl... This book presents an extensive set of tools for solving basic numerical problems with verification of the results using the scientific computer language PASCAL-XSC. It contains implementations of algorithms and many examples and exercises. Some... more
-
C++ Toolbox for Verified Compu...This book presents an extensive set of sophisticated tools for solving basic n... This book presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language... more
-
Springer Computational Mathema...Numerical methods that preserve properties of Hamiltonian systems reversible s... Numerical methods that preserve properties of Hamiltonian systems reversible systems differential equations on manifolds and problems with highly oscillatory solutions are the subject of this book. A complete self-contained theory of symplectic and... more
-
Springer Computational Mathema...Numerical methods that preserve properties of Hamiltonian systems reversible s... Numerical methods that preserve properties of Hamiltonian systems reversible systems differential equations on manifolds and problems with highly oscillatory solutions are the subject of this book. A complete self-contained theory of symplectic and... more
-
Springer Proceedings in Mathem...One of the current main challenges in the area of scientific computing is the ... One of the current main challenges in the area of scientific computing is the design and implementation of accurate numerical models for complex physical systems which are described by time dependent coupled systems of nonlinear PDEs. This volume... more
-
Springer Proceedings in Mathem...One of the current main challenges in the area of scientific computing is the ... One of the current main challenges in the area of scientific computing is the design and implementation of accurate numerical models for complex physical systems which are described by time dependent coupled systems of nonlinear PDEs. This volume... more
-
Springer Computational Mathema...Numerical Analysis for Elliptic Optimal Control Problems Numerical Analysis for Elliptic Optimal Control Problems more
-
Numerical Solution of Flood Pr...This work has been selected by scholars as being culturally important and is p... This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America and possibly other nations. Within the United... more
-
Springer Computational Mathema...In this book the author compares the meaning of stability in different subfiel... In this book the author compares the meaning of stability in different subfields of numerical mathematics. Concept of Stability in numerical mathematics opens by examining the stability of finite algorithms. A more precise definition of stability... more
-
Springer Proceedings in Mathem...This book represents the proceedings of the 3rd International Conference on St... This book represents the proceedings of the 3rd International Conference on Statistics Applied Mathematics and Computing Science (CSAMCS 2023) held from November 10th to 12th 2023 in Nanjing China hosted by Nanjing University. This conference... more
-
International Numerical Mathem...Hyperbolic Problems: Theory Numerics Applications: Seventh International Confe... Hyperbolic Problems: Theory Numerics Applications: Seventh International Conference in Zürich February 1998 Volume I more
-
Springer Computational Mathema...This book examines numerical methods for two-phase incompressible flow problem... This book examines numerical methods for two-phase incompressible flow problems. It details the complete simulation track from modeling via development and analysis of numerical methods to numerical experiments. more
-
Springer Computational Mathema...Computing application to materials science is one of the fastest-growing resea... Computing application to materials science is one of the fastest-growing research areas. This book introduces the concepts and methodologies related to the modeling of the complex phenomena occurring in materials processing. It is intended for... more
-
Springer Computational Mathema...This book examines numerical methods for two-phase incompressible flow problem... This book examines numerical methods for two-phase incompressible flow problems. It details the complete simulation track from modeling via development and analysis of numerical methods to numerical experiments. more
-
Springer Computational Mathema...Lattice rules are a powerful and popular form of quasi-Monte Carlo rules based... Lattice rules are a powerful and popular form of quasi-Monte Carlo rules based on multidimensional integration lattices. This book provides a comprehensive treatment of the subject with detailed explanations of the basic concepts and the current... more
Items per page
Ads related to springer computational mathematics numerical toolbox for verified computing i: basic numerical problems theory algorithms and pascal-xsc programs book 21 paperback