Cargando…

C++ toolbox for verified computing

Detalles Bibliográficos
Autores principales:	Kulisch, Ulrich, Hammer, Rolf, Hocks, Ma3rdias, Ratz, Dietmar
Lenguaje:	eng
Publicado:	Springer 1995
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-3-642-79651-7 http://cds.cern.ch/record/1617990

Ejemplares similares

Numerical toolbox for verified computing
por: Kulisch, Ulrich, et al.
Publicado: (1993)

PASCAL-XSC: language reference with examples
por: Kulisch, Ulrich, et al.
Publicado: (1992)

Creditrisk+ in the banking industry
por: Gundlach, Ma3rdias, et al.
Publicado: (2004)

Large-scale pde-constrained optimization
por: Biegler, Lorenz, et al.
Publicado: (2003)

Advanced arithmetic for the digital computer: design of arithmetic units
por: Kulisch, Ulrich W
Publicado: (2002)

Computer arithmetic in theory and practice
por: Kulisch, Ulrich W, et al.
Publicado: (1981)

Perspectives on enclosure methods
por: Kulisch, Ulrich, et al.
Publicado: (2001)

The fixed point theorem of Brouwer and verified inclusions
por: Rex, G
Publicado: (1999)

The geometry toolbox for graphics and modeling
por: Farin, Gerald, et al.
Publicado: (2017)

Practical linear algebra : a geometry toolbox
por: Farin, Gerald E, et al.
Publicado: (2014)

Self-selective social choice functions verify arrow and Gibbard-Satterthwaite
por: Koray, S
Publicado: (2000)

Robust modal control with a toolbox for use with Matlab®
por: Magni, Jean-François
Publicado: (2002)

Official statistics 4.0: verified facts for people in the 21st century
por: Radermacher, Walter J
Publicado: (2020)

Design of adaptive finite element software: the finite element toolbox ALBERTA
por: Barth, Timothy, et al.
Publicado: (2005)

Foundations of Geometric Algebra Computing
por: Hildenbrand, Dietmar
Publicado: (2013)

High Performance Computing in Science and Engineering '17 : Transactions of the High Performance Computing Center
por: Nagel, Wolfgang, et al.
Publicado: (2018)

High Performance Computing in Science and Engineering '15 : Transactions of the High Performance Computing Center
por: Nagel, Wolfgang, et al.
Publicado: (2016)

High Performance Computing in Science and Engineering '08 : Transactions of the High Performance Computing Center
por: Nagel, Wolfgang, et al.
Publicado: (2009)

High performance computing in science and engineering ‘13 : transactions of the high performance computing center Stuttgart
por: Nagel, Wolfgang, et al.
Publicado: (2013)

Bayesian spectrum analysis and parameter estimation
por: Bre3rdorst, G Larry
Publicado: (1988)

Boolean models and methods in mathematics, computer science, and engineering
por: Crama, Yves, et al.
Publicado: (2010)

High performance computing in science and engineering '18: transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018
por: Nagel, Wolfgang, et al.
Publicado: (2019)

High Performance Computing in Science and Engineering '16 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016
por: Nagel, Wolfgang, et al.
Publicado: (2016)

Mathematical and computational modeling and simulation: fundamentals and case studies
por: Moeller, Dietmar P F
Publicado: (2004)

High Performance Computing in Science and Engineering '14
por: Nagel, Wolfgang, et al.
Publicado: (2015)

Labelled deduction
por: Basin, David, et al.
Publicado: (2000)

Eleventh results and review workshop on High performance computing in science and engineering
por: Nagel, Wolfgang, et al.
Publicado: (2008)

Twelfth results and review workshop on High performance computing in science and engineering
por: Nagel, Wolfgang, et al.
Publicado: (2010)

Numerical computation using C
por: Glassey, Robert, et al.
Publicado: (1993)

13th annual Results and Review Workshop on High Performance Computing in Science and Engineering
por: Nagel, Wolfgang, et al.
Publicado: (2011)

14th annual Results and Review Workshop on High Performance Computing in Science and Engineering
por: Nagel, Wolfgang E, et al.
Publicado: (2012)

White noise: an infinite dimensional calculus
por: Hida, Takeyuki, et al.
Publicado: (1993)

Calculating high energy particle production according to statistical theories on an electronic computer
por: Hagedorn, Rolf
Publicado: (1959)

Scientific Computing in Electrical Engineering
por: Langer, Ulrich, et al.
Publicado: (2018)

Computer applications in physics: with FORTRAN, BASIC and C
por: Chandra, Suresh, et al.
Publicado: (2014)

Calculating high energy particle production according to statistical theories on an electronic computer; pt 3
por: Hagedorn, Rolf
Publicado: (1961)

3rd International Conference on High Performance Scientific Computing
por: Bock, Hans, et al.
Publicado: (2008)

5th International Conference on High Performance Scientific Computing
por: Bock, Hans, et al.
Publicado: (2014)

6th International Conference on High Performance Scientific Computing
por: Bock, Hans, et al.
Publicado: (2017)

A programme for calculating multiple phase space integrals by a Monte Carlo method on the Ferranti Mercury Computer
por: Hagedorn, Rolf
Publicado: (1959)

Cannot write session to /tmp/vufind_sessions/sess_k650sfe7q6g93cc30mrt7p2bc7