The Resource Scientific computing with automatic result verification, edited by E. Adams, U. Kulisch, (electronic resource/)

Scientific computing with automatic result verification, edited by E. Adams, U. Kulisch, (electronic resource/)

Label
Scientific computing with automatic result verification
Title
Scientific computing with automatic result verification
Statement of responsibility
edited by E. Adams, U. Kulisch
Contributor
Subject
Genre
Language
eng
Summary
A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations
Member of
Cataloging source
OPELS
Dewey number
519.4/0285
Index
index present
LC call number
QA76
LC item number
.S368 1993eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Mathematics in science and engineering
Series volume
v. 189
Label
Scientific computing with automatic result verification, edited by E. Adams, U. Kulisch, (electronic resource/)
Link
http://library.quincycollege.edu:2048/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=296978
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Front Cover; Scientific Computing With Automatic Result Verification; Copyright Page; Contents; Contributors; Preface; Acknowledgements; Introduction; Part I. Language and Progmmmmg Support for Verified Scientific Computation; Chapter 1. PASCAL-XSC, New Concepts for Scientific Computation and Numerical Data Processing; Chapter 2. ACRITH-XSC, A Fortran-like Language for Verified Scientific Computing; Chapter 3. C-XSC, A Programming Environment for Verified Scientific Computing and Numerical Data Processing; Chapter 4. Proposal for Accurate Floating-Point Vector Arithmetic
Control code
ocn316566653
Dimensions
unknown
Extent
1 online resource (access may be restricted)
File format
unknown
Form of item
online
Governing access note
Access restricted to subscribing institution
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
eBooks on EBSCOhost
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
Label
Scientific computing with automatic result verification, edited by E. Adams, U. Kulisch, (electronic resource/)
Link
http://library.quincycollege.edu:2048/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=296978
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Front Cover; Scientific Computing With Automatic Result Verification; Copyright Page; Contents; Contributors; Preface; Acknowledgements; Introduction; Part I. Language and Progmmmmg Support for Verified Scientific Computation; Chapter 1. PASCAL-XSC, New Concepts for Scientific Computation and Numerical Data Processing; Chapter 2. ACRITH-XSC, A Fortran-like Language for Verified Scientific Computing; Chapter 3. C-XSC, A Programming Environment for Verified Scientific Computing and Numerical Data Processing; Chapter 4. Proposal for Accurate Floating-Point Vector Arithmetic
Control code
ocn316566653
Dimensions
unknown
Extent
1 online resource (access may be restricted)
File format
unknown
Form of item
online
Governing access note
Access restricted to subscribing institution
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
eBooks on EBSCOhost
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote

Library Locations

    • Massasoit Community College Brockton CampusBorrow it
      1 Massasoit Blvd., Brockton, MA, 02301, US
      42.07562679999999 -70.99027629999999
    • Nease Library - Eastern Nazarene College Borrow it
      23 East Elm Ave. , Quincy, MA, 02170, US
      42.271089 -71.012428
    • Quincy College Library Borrow it
      1250 Hancock St. 3rd Fl Rm#347, Quincy, MA, 02169, US
      42.2513682 -70.9962875
Processing Feedback ...