XSCLanguages / XSCSprachen 
nicht verfügbar 
Scientific Computing with Validation, Arithmetic Requirements, Hardware Solution and Language Support
CXSC  PascalXSC
(binary version) 
PascalXSC BCD
(decimal version) 







(C++ Library and Toolbox) 
(Compiler and Toolbox) 
(Compiler) 







Institut für Angewandte Mathematik, Forschungsschwerpunkt CAVN, Universität KarlsruheThe speed of digital Computers is ever increasing. While the emphasis in computing was traditionally on speed, more emphasis can now be put on accuracy and reliability of results. Numerical mathematics has devised algorithms which deliver highly accurate and automatically verified results by applying mathematical fixedpoint theorems. This means that these computation carry their own accuracy control. However, their implementation requires suitable arithmetic support and powerful programming tools which are not generally available.
Wissenschaftliches Rechnen/Softwaretechnologie, Universität Wuppertal
Different hardware solutions are available for Personal Computers, Workstations, Mainframes and Super Computers. In particular a vector arithmetic coprocessor for the PC has been developed in VLSItechnology. Language support is available on the basis of FORTRAN, PASCAL, and C (ACRITHXSC, FortranXSC, PASCALXSC, and C XSC). Problemsolving routines with automatic result verification have been developed for many standard problems of numerical analysis as for linear or nonlinear systems of equations, for differential and integral equations, etc. as well as for a large number of applications in the engineering and natural sciences.
Language eXtensions for Scientific Computation provide all features indispensable for modern numerical software development, such as
The following XSC languages are available: