C++ Toolbox for Verified Computing I

C++ Toolbox for Verified Computing I

Matthias Hocks / Rolf Hammer / Ulrich Kulisch

145,68 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2011
Materia
Cálculo y análisis matemático
ISBN:
9783642796531
145,68 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Toolbox for Verified Computing I is the C++ edition of the Numerical Toolbox for Verified Computing l. The programs of the original edition were written in PASCAL-XSC, a PASCAL eXtension for Scientific Computation. Since we published the first edition we have received many requests from readers and users of our tools for a version in C++. We take the view that C++ is growing in importance in the field of numeri­ cal computing. C++ includes C, but as a typed language and due to its modern concepts, it is superior to C. To obtain the degree of efficiency that PASCAL-XSC provides, we used the C-XSC library. C-XSC is a C++ class library for eXtended Scientific Computing. C++ and the C-XSC library are an adequate alternative to special XSC-Ianguages such as PASCAL-XSC or ACRITH-XSC. A shareware version of the C-XSC library and the sources of the toolbox programs are freely available via anonymous ftp or can be ordered against reimbursement of expenses. The programs of this book do not require a great deal of insight into the features of C++. Particularly, object oriented programming techniques are not required.

Artículos relacionados

  • Decision Control, Management, and Support in Adaptive and Complex Systems
    Rumen D. Andreev / Rumen DAndreev / Yuri P. Pavlov / Yuri PPavlov
    In order to ensure the criteria for monitoring and managing the various problems and design for decision control, a mathematical description of exact human knowledge is required for the management of adaptive and complex systems. Decision Control, Management, and Support in Adaptive and Complex Systems: Quantitative Models presents an application and demonstration of a new math...
  • GEOM SPHERIC SPACE FORM (2ND ED)
    GILKEY PETER B / PETER B GILKEY
     This volume focuses on discussing the interplay between the analysis, as exemplified by the eta invariant and other spectral invariants, the number theory, as exemplified by the relevant Dedekind sums and Rademacher reciprocity, the algebraic topology, as exemplified by the equivariant bordism groups, K-theory groups, and connective K-theory groups, and the geometry of spheric...
  • The Mathematics of Signal Processing
    Jr Willard Miller / Steven B. Damelin
    ...
    Disponible

    121,12 €

  • POINT-SET TOPOLOGY WITH TOPICS
    ANDRE ROBERT / Robert André
    This textbook can be used as introduction to a general topology course at undergraduate and graduate level courses. However, many parts of this book present topological concepts that apply directly to functional analysis, which will be of interest to scholars working in those fields.In Part I, readers are eased into the main subject matter of general topology, being presented w...
  • Codaigh agus Córais Dhinimiciúla Réadacha
    Stíofán M. Ó Buachalla
    This book contains an Irish translation of the the second-edition English version (ISBN 9780244879822, https://logicpress.ie/2020-1/index.html) of a one-semester undergraduate course taught through the medium of Irish. I have given this course in Maynooth each year since 2006. The class is typically quite mixed, and the book aims to challenge students familiar with rigorous arg...
    Disponible

    40,64 €

  • Calculus of Variations and Optimal Control Theory
    Daniel Liberzon
    This textbook offers a concise yet rigorous introduction to calculus of variations and optimal control theory, and is a self-contained resource for graduate students in engineering, applied mathematics, and related subjects. Designed specifically for a one-semester course, the book begins with calculus of variations, preparing the ground for optimal control. It then gives a com...

Otros libros del autor

  • Numerical Toolbox for Verified Computing I
    Matthias Hocks / Rolf Hammer / Ulrich Kulisch
    As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the results. We use the features of the scientific computer language PASCAL-XSC to offer modules that can be combined by the reader to his/her individual needs. Our...
    Disponible

    133,58 €