Mathematics in Science and Engineering - Scientific Computing with Automatic Result Verification
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780120442102

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verified Solution of Integral Equations with Applications

Mathematics in Science and Engineering - Scientific Computing with Automatic Result Verification ◽

10.1016/s0076-5392(08)62847-7 ◽

1993 ◽

pp. 225-253

Author(s):

Hans-Jürgen Dobner

Keyword(s):

Integral Equations

Download Full-text

Numerical Reliability of MHD Flow Calculations

Mathematics in Science and Engineering - Scientific Computing with Automatic Result Verification ◽

10.1016/s0076-5392(08)62853-2 ◽

1993 ◽

pp. 397-421 ◽

Cited By ~ 1

Author(s):

Wera U. Klein

Keyword(s):

Mhd Flow

Download Full-text

Numerical Quadrature by Extrapolation with Automatic Result Verification

Mathematics in Science and Engineering - Scientific Computing with Automatic Result Verification ◽

10.1016/s0076-5392(08)62845-3 ◽

1993 ◽

pp. 143-185 ◽

Cited By ~ 5

Author(s):

Rainer Kelch

Keyword(s):

Numerical Quadrature ◽

Result Verification

Download Full-text

Enclosure Methods for Linear and Nonlinear Systems of Fredholm Integral Equations of the Second Kind

Mathematics in Science and Engineering - Scientific Computing with Automatic Result Verification ◽

10.1016/s0076-5392(08)62848-9 ◽

1993 ◽

pp. 255-282 ◽

Cited By ~ 1

Author(s):

Wolfram Klein

Keyword(s):

Nonlinear Systems ◽

Integral Equations ◽

Fredholm Integral Equations ◽

Enclosure Methods ◽

Linear And Nonlinear ◽

Linear And Nonlinear Systems

Download Full-text

Preface

Mathematics in Science and Engineering - Scientific Computing with Automatic Result Verification ◽

10.1016/s0076-5392(08)62836-2 ◽

1993 ◽

pp. ix-x

Download Full-text

Numerical Integration in Two Dimensions with Automatic Result Verification

Mathematics in Science and Engineering - Scientific Computing with Automatic Result Verification ◽

10.1016/s0076-5392(08)62846-5 ◽

1993 ◽

pp. 187-224 ◽

Cited By ~ 2

Author(s):

Ulrike Storck

Keyword(s):

Numerical Integration ◽

Two Dimensions ◽

Result Verification

Download Full-text

ACRITH-XSC A Fortran—like Language for Verified Scientific Computing

Mathematics in Science and Engineering - Scientific Computing with Automatic Result Verification ◽

10.1016/s0076-5392(08)62841-6 ◽

1993 ◽

pp. 45-70 ◽

Cited By ~ 13

Author(s):

Wolfgang V. Walter

Keyword(s):

Scientific Computing

Download Full-text

Proposal for Accurate Floating-Point Vector Arithmetic

Mathematics in Science and Engineering - Scientific Computing with Automatic Result Verification ◽

10.1016/s0076-5392(08)62843-x ◽

1993 ◽

pp. 87-102 ◽

Cited By ~ 2

Author(s):

G. Bohlender ◽

D. Cordes ◽

A. Knöfel ◽

U. Kulisch ◽

R. Lohner ◽

...

Keyword(s):

Floating Point ◽

Point Vector

Download Full-text

A Hardware Kernel for Scientific/Engineering Computations

Mathematics in Science and Engineering - Scientific Computing with Automatic Result Verification ◽

10.1016/s0076-5392(08)62856-8 ◽

1993 ◽

pp. 549-570 ◽

Cited By ~ 11

Author(s):

Andreas Knöfel

Keyword(s):

Scientific Engineering

Download Full-text

Introduction

Mathematics in Science and Engineering - Scientific Computing with Automatic Result Verification ◽

10.1016/s0076-5392(08)62839-8 ◽

1993 ◽

pp. 1-12 ◽

Cited By ~ 7

Author(s):

E. Adams ◽

U. Kulisch

Download Full-text

Mathematics in Science and Engineering - Scientific Computing with Automatic Result VerificationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Verified Solution of Integral Equations with Applications

Numerical Reliability of MHD Flow Calculations

Numerical Quadrature by Extrapolation with Automatic Result Verification

Enclosure Methods for Linear and Nonlinear Systems of Fredholm Integral Equations of the Second Kind

Preface

Numerical Integration in Two Dimensions with Automatic Result Verification

ACRITH-XSC A Fortran—like Language for Verified Scientific Computing

Proposal for Accurate Floating-Point Vector Arithmetic

A Hardware Kernel for Scientific/Engineering Computations

Introduction

Mathematics in Science and Engineering - Scientific Computing with Automatic Result Verification
Latest Publications