Autor: Rudi Klatte

C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It provides a large number of predefined numerical data types and operators. …

This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL e Xtension for Scientific Computation). The language is the result of a long term effort of …

PASCAL-XSC (PASCAL-e Xtension for Scientific Computation) ist eine Erweiterung der weitverbreiteten Programmiersprache PASCAL. Sie verfolgt das Ziel, das Programmieren, insbesondere im Bereich techni …