Cover Image

Scientific computation with automatic result verification/

Other Authors:	Kulisch,$bU., Stetter,$bH.
Format:	Book
Published:	Wien : Springer-Verlag, c1988
Series:	Computing supplementum ; v. 6
Subjects:	Numerical calculations > - Verification > - Congresses Algorithms > Congresses

Similar Items

Verification and validation in computational science and engineering/
by: Roache, Patrick J.
Published: (1998)

Verification of computer codes in computational science and engineering /
by: Knupp, Patrick
Published: (2003)

Verification and validation of 3D free-surface flow models /
Published: (2009)

Verification and validation of 3D free-surface flow models
Published: (2009)

Verification and validation in scientific computing /
by: Oberkampf, William L., 1944-
Published: (2010)

Algorithms and computation :7th international symposium, ISAAC ʹ96, Osaka, Japan, December 16-18, 1996 :proceedings /
Published: (1996)

Symbolic algebraic methods and verification methods/
by: Alefeld, G., 1941-
Published: (2001)

Validation numerics : theory and applications /
Published: (1993)

Algorithms and computation: 7th International Symposium, ISAAC '96 Osaka, Japan, December 16-18, 1996: proceedings ; επιμ. Tetsuo Asano..[κ.α.]
Published: (1996)

Elements of numerical analysis/
by: Henrici, Peter, 1923-
Published: (1964)

Verification at Vienna : monitoring reductions of conventional armed forces /
Published: (1992)

Algorithms and computation : 8th International Symposium, ISAAC '97, Singapore, December 1997 : proceedings /
Published: (1997)

Applications of number theory to numerical analysis= Applications de la theorie des nombres a l'analyse numerique/
Published: (1972)

Computing methods/
by: Berezin, I. S
Published: (1965)

Numeta 85 : numerical methods in enginneering : theory and applications /
Published: (1985)

Numerical methods for fluid dynamics II : based on the proceedings of a conference on numerical methods for fluid dynamics held in Reading in April 1985 /
Published: (1986)

Numerical methods in engineering : theory and applications /
Published: (1990)

Numerical methods for fluid dynamics/
Published: (1982)

Numerical methods for non-linear problems : proceedings of the International Conference held at Universidad Poltecnica de Barcelona, Spain, 9th-13th April, 1984 /
Published: (1984)

An introduction to computational methods/
by: Redish, K. A.
Published: (1961)

Validation numerics: theory and applications/
Published: (1993)

Verification, compliance and confidence-building : the global and regional interface : proceedings of the Thirteenth Annual Ottawa NACD Verification Symposium /
Published: (1996)

Scientific analysis on the pocket calculator/
by: Smith, Jon M., 1938-
Published: (1975)

Scientific analysis on the pocket calculator/
by: Smith, Jon M., 1938-
Published: (1977)

Scientific computation with automatic result verification/
Published: (1988)

Numerical heat transfer with personal computers and supercomputing : presented at the 1989 National Heat Transfer Conference, Philadelphia, Pennsylvania, August 6-9, 1989 /
Published: (1989)

Specification and verification of systolic arrays/
by: Ling, Nam, 1956-
Published: (1999)

Numerical methods for fluid transient analysis : presented at Applied Mechanics Bioengineering and Fluid Engineering Conference, Houston, Texas, Hune 20-22, 1983 /
Published: (1983)

Numerical methods in industrial forming processes/
Published: (1992)

Lectures on finite precision computations/
by: Chaitin-Chatelin, Franc?oise
Published: (1996)

Systems and software verification: model-checking techniques and tools/
by: Berard, Beatrice.
Published: (2001)

Verification plans: the five-day verification strategy for modern hardware verification languages/
by: James, Peet
Published: (2004)

Incompressible computational fluid dynamics : : trends and advances /
Published: (1993)

Theory of machines and computations : proceedings /
Published: (1971)

Professional verification a guide to advanced functional verification /
by: Wilcox, Paul, MBA.
Published: (2004)

Program verification /
by: Francez, Nissim.
Published: (1992)

An introduction to numerical mathematics /
by: Stiefel, Eduard L.
Published: (1969)

Travaux pratiques de calcul numerique: : a l'usage des candidats aux Grandes Ecoles et des etudiants de propedeutique/
by: Hennequin, Alphonse
Published: (1964)

Numerical analysis : proceedings of the sixth Symposium in Applied Mathematics of the American Mathematical Society, held at the Santa Monica City College, August 26-28 /
Published: (1956)

Numerische und graphische Methoden der Angewandten Mathematik/
by: Filtschakow, Pavel Feodosevich
Published: (1975)

Cannot write session to /tmp/vufind_sessions/sess_jtpvgepq3gcmvo52mcijfjcps5