Filter
Kompilatorer
Filter
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number …
Fortran, die seit vierzig Jahren führende Programmiersprache der Numerischen Datenverarbeitung (des Scientific Computing), hat vor kurzem eine radikale Modernisierung erfahren: …
New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous …
Object-orientation and the need for multi-paradigmatic systems constitute a challenge for researchers, practitioners and instructors. Presentations at the OCG/NJSZT joint …
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means …
Beside the computers itself, programming languages are the most important tools of a computer scientist, because they allow the formulation of algorithms in a way that a computer …
The aim of this book is to present important software tools, basic concepts, methods, and highly sophisticated applications of computerized symbolic manipulation to mechanics …
Written by the mental ray software project leader, this book gives a general introduction into rendering with mental ray, as well as step-by-step recipes for creating advanced …
Simulation ist neben Theorie und Experiment die dritte Säule wissenschaftlicher Forschung und technischer Entwicklung. Computer-Berechnungen sind zu einer wesentlichen …