PASCAL-XSC [electronic resource] : Language Reference with Examples /

PASCAL-XSC [electronic resource] : Language Reference with Examples /

Show other versions (1)

This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a long term effort of members of the Institute for Applied Mathematics of Karlsruhe University and several associated scientists. PASCAL­ XSC is intended to make the computer more powerful arithmetically than usual. It makes the computer look like a vector processor to the programmer by providing the vector/matrix operations in a natural form with array data types and the usual operator symbols. Programming of algorithms is thus brought considerably closer to the usual mathematical notation. As an additional feature in PASCAL-XSC, all predefined operators for real and complex numbers and intervals, vectors, matrices, and so on, deliver an answer that differs from the exact result by at most one rounding. Numerical mathematics has devised algorithms that deliver highly accurate and automatically verified results by applying mathematical fixed point theorems. That is, these computations carry their own accuracy control. However, their imple­ mentation requires arithmetic and programming tools that have not been available previously. The development of PASCAL-XSC has been aimed at providing these tools within the PASCAL setting. Work on the subject began during the 1960's with the development of a general theory of computer arithmetic. At first, new algorithms for the realization of the arithmetic operations had to be developed and implemented.

Saved in:
Bibliographic Details
Main Authors: Kulisch, Ulrich. author., Klatte, Rudi. author., Ratz, Dietmar. author., Neaga, Michael. author., Ullrich, Christian. author., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992
Subjects:Computer science., Programming languages (Electronic computers)., Mathematics., Numerical analysis., Computer Science., Programming Languages, Compilers, Interpreters., Numerical Analysis., Mathematics, general.,
Online Access:http://dx.doi.org/10.1007/978-3-642-77277-1
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:218711
record_format koha
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Programming languages (Electronic computers).
Mathematics.
Numerical analysis.
Computer Science.
Programming Languages, Compilers, Interpreters.
Numerical Analysis.
Mathematics, general.
Computer science.
Programming languages (Electronic computers).
Mathematics.
Numerical analysis.
Computer Science.
Programming Languages, Compilers, Interpreters.
Numerical Analysis.
Mathematics, general.
spellingShingle Computer science.
Programming languages (Electronic computers).
Mathematics.
Numerical analysis.
Computer Science.
Programming Languages, Compilers, Interpreters.
Numerical Analysis.
Mathematics, general.
Computer science.
Programming languages (Electronic computers).
Mathematics.
Numerical analysis.
Computer Science.
Programming Languages, Compilers, Interpreters.
Numerical Analysis.
Mathematics, general.
Kulisch, Ulrich. author.
Klatte, Rudi. author.
Ratz, Dietmar. author.
Neaga, Michael. author.
Ullrich, Christian. author.
SpringerLink (Online service)
PASCAL-XSC [electronic resource] : Language Reference with Examples /
description This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a long term effort of members of the Institute for Applied Mathematics of Karlsruhe University and several associated scientists. PASCAL­ XSC is intended to make the computer more powerful arithmetically than usual. It makes the computer look like a vector processor to the programmer by providing the vector/matrix operations in a natural form with array data types and the usual operator symbols. Programming of algorithms is thus brought considerably closer to the usual mathematical notation. As an additional feature in PASCAL-XSC, all predefined operators for real and complex numbers and intervals, vectors, matrices, and so on, deliver an answer that differs from the exact result by at most one rounding. Numerical mathematics has devised algorithms that deliver highly accurate and automatically verified results by applying mathematical fixed point theorems. That is, these computations carry their own accuracy control. However, their imple­ mentation requires arithmetic and programming tools that have not been available previously. The development of PASCAL-XSC has been aimed at providing these tools within the PASCAL setting. Work on the subject began during the 1960's with the development of a general theory of computer arithmetic. At first, new algorithms for the realization of the arithmetic operations had to be developed and implemented.
format Texto
topic_facet Computer science.
Programming languages (Electronic computers).
Mathematics.
Numerical analysis.
Computer Science.
Programming Languages, Compilers, Interpreters.
Numerical Analysis.
Mathematics, general.
author Kulisch, Ulrich. author.
Klatte, Rudi. author.
Ratz, Dietmar. author.
Neaga, Michael. author.
Ullrich, Christian. author.
SpringerLink (Online service)
author_facet Kulisch, Ulrich. author.
Klatte, Rudi. author.
Ratz, Dietmar. author.
Neaga, Michael. author.
Ullrich, Christian. author.
SpringerLink (Online service)
author_sort Kulisch, Ulrich. author.
title PASCAL-XSC [electronic resource] : Language Reference with Examples /
title_short PASCAL-XSC [electronic resource] : Language Reference with Examples /
title_full PASCAL-XSC [electronic resource] : Language Reference with Examples /
title_fullStr PASCAL-XSC [electronic resource] : Language Reference with Examples /
title_full_unstemmed PASCAL-XSC [electronic resource] : Language Reference with Examples /
title_sort pascal-xsc [electronic resource] : language reference with examples /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1992
url http://dx.doi.org/10.1007/978-3-642-77277-1
work_keys_str_mv AT kulischulrichauthor pascalxscelectronicresourcelanguagereferencewithexamples
AT klatterudiauthor pascalxscelectronicresourcelanguagereferencewithexamples
AT ratzdietmarauthor pascalxscelectronicresourcelanguagereferencewithexamples
AT neagamichaelauthor pascalxscelectronicresourcelanguagereferencewithexamples
AT ullrichchristianauthor pascalxscelectronicresourcelanguagereferencewithexamples
AT springerlinkonlineservice pascalxscelectronicresourcelanguagereferencewithexamples
_version_ 1756269926657556480
spelling KOHA-OAI-TEST:2187112018-07-30T23:55:25ZPASCAL-XSC [electronic resource] : Language Reference with Examples / Kulisch, Ulrich. author. Klatte, Rudi. author. Ratz, Dietmar. author. Neaga, Michael. author. Ullrich, Christian. author. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1992.engThis manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a long term effort of members of the Institute for Applied Mathematics of Karlsruhe University and several associated scientists. PASCAL­ XSC is intended to make the computer more powerful arithmetically than usual. It makes the computer look like a vector processor to the programmer by providing the vector/matrix operations in a natural form with array data types and the usual operator symbols. Programming of algorithms is thus brought considerably closer to the usual mathematical notation. As an additional feature in PASCAL-XSC, all predefined operators for real and complex numbers and intervals, vectors, matrices, and so on, deliver an answer that differs from the exact result by at most one rounding. Numerical mathematics has devised algorithms that deliver highly accurate and automatically verified results by applying mathematical fixed point theorems. That is, these computations carry their own accuracy control. However, their imple­ mentation requires arithmetic and programming tools that have not been available previously. The development of PASCAL-XSC has been aimed at providing these tools within the PASCAL setting. Work on the subject began during the 1960's with the development of a general theory of computer arithmetic. At first, new algorithms for the realization of the arithmetic operations had to be developed and implemented.1 Introduction -- 1.1 Typography -- 1.2 Historical Remarks and Motivation -- 1.3 Advanced Computer Arithmetic -- 1.4 Connection with Programming Languages -- 1.5 Survey of PASCAL-XSC -- 2 Language Reference -- 2.1 Basic Symbols -- 2.2 Identifiers -- 2.3 Constants, Types, and Variables -- 2.4 Expressions -- 2.5 Statements -- 2.6 Program Structure -- 2.7 Subroutines -- 2.8 Modules -- 2.9 String Handling and Text Processing -- 2.10 How to Use Dynamic Arrays -- 3 The Arithmetic Modules -- 3.1 The Module C_ARI -- 3.2 The Module I_ARI -- 3.3 The Module CI_ARI -- 3.4 The Module MV_ARI -- 3.5 The Module MVC_ARI -- 3.6 The Module MVI_ARI -- 3.7 The Module MVCI_ARI -- 3.8 The Hierarchy of the Arithmetic Modules -- 3.9 A Complete Sample Program -- 4 Problem-Solving Routines -- 5 Exercises with Solutions -- 5.1 Test of Representability -- 5.2 Summation of Exponential Series -- 5.3 Influence of Rounding Errors -- 5.4 Scalar Product -- 5.5 Boothroyd/Dekker Matrices -- 5.6 Complex Functions -- 5.7 Surface Area of a Parallelepiped -- 5.8 Parallelism and Intersection of Lines -- 5.9 Transposed Matrix, Symmetry -- 5.10 Rail Route Map -- 5.11 Inventory Lists -- 5.12 Complex Numbers and Polar Representation -- 5.13 Complex Division -- 5.14 Electric Circuit -- 5.15 Alternating Current Measuring Bridge -- 5.16 Optical Lens -- 5.17 Interval Evaluation of a Polynomial -- 5.18 Calculations for Interval Matrices -- 5.19 Differentiation Arithmetic -- 5.20 Newton’s Method with Automatic Differentiation -- 5.21 Measurement of Time -- 5.22 Iterative Method -- 5.23 Trace of a Product Matrix -- 5.24 Calculator for Polynomials -- 5.25 Interval Newton Method -- 5.26 Runge-Kutta Method -- 5.27 Rational Arithmetic -- 5.28 Evaluation of Polynomials -- A Syntax Diagrams -- B Indices and Lists -- B.1 Syntax Diagrams -- B.2 Reserved Words -- B.3 Predefined Identifiers -- B.4 Operators -- B.4.1 Basic Operators -- B.4.2 Arithmetic Operators -- B.4.3 Relational Operators for the Arithmetic Types -- B.4.4 Assignment Operators -- B.5 Predefined Functions -- B.6 Transfer Functions -- B.7 Predefined Procedures -- B.8 #-Expressions -- B.8.1 Real and Complex #-Expressions -- B.8.2 Real and Complex Interval #-Expressions.This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a long term effort of members of the Institute for Applied Mathematics of Karlsruhe University and several associated scientists. PASCAL­ XSC is intended to make the computer more powerful arithmetically than usual. It makes the computer look like a vector processor to the programmer by providing the vector/matrix operations in a natural form with array data types and the usual operator symbols. Programming of algorithms is thus brought considerably closer to the usual mathematical notation. As an additional feature in PASCAL-XSC, all predefined operators for real and complex numbers and intervals, vectors, matrices, and so on, deliver an answer that differs from the exact result by at most one rounding. Numerical mathematics has devised algorithms that deliver highly accurate and automatically verified results by applying mathematical fixed point theorems. That is, these computations carry their own accuracy control. However, their imple­ mentation requires arithmetic and programming tools that have not been available previously. The development of PASCAL-XSC has been aimed at providing these tools within the PASCAL setting. Work on the subject began during the 1960's with the development of a general theory of computer arithmetic. At first, new algorithms for the realization of the arithmetic operations had to be developed and implemented.Computer science.Programming languages (Electronic computers).Mathematics.Numerical analysis.Computer Science.Programming Languages, Compilers, Interpreters.Numerical Analysis.Mathematics, general.Springer eBookshttp://dx.doi.org/10.1007/978-3-642-77277-1URN:ISBN:9783642772771

Similar Items