Detail page

Knowledge Web

Allgemeinbegriff

Richtigkeit von Ergebnissen

Auf der Basis einer genauen Rechnerarithmetik werden Rundungs- und Diskretisierungsfehler erfaßt und die Zuverlässigkeit und Genauigkeit der berechneten Ergebnisse verifiziert.

Subject heading	Richtigkeit von Ergebnissen
Definition	Auf der Basis einer genauen Rechnerarithmetik werden Rundungs- und Diskretisierungsfehler erfaßt und die Zuverlässigkeit und Genauigkeit der berechneten Ergebnisse verifiziert.
Synonym	Ergebnisverifikation Richtigkeit von Ergebnissen / Verifikation Result Verification
Related	Validierung (verwandter Begriff)
Topic	Mathematik Informatik, Datenverarbeitung
Source	Lex. Informatik
Record type	Allgemeinbegriff
GND-Identifier	4127444-1
Record ID	04127444X
Topic of show all Wissenschaftliches Rechnen mit Ergebnisverifikation Erfassung von Trajektorien und Erkennung von Bewegungsmustern Interval Analysis : and Automatic Result Verification Interval Analysis : and Automatic Result Verification Interval Analysis and Automatic Result Verification Computer arithmetic and validity : theory, implementation, and applications Computer Arithmetic and Validity : Theory, Implementation, and Applications Der Analysen-Leerwert beim Radioimmunoassay: Einflüsse auf die unspezifische Antigen-Bindung und ihr Effekt auf die Richtigkeit der Ergebnisse bei der Insulin-Bestimmung Computational methods in transport: verification and validation : with 33 tables Computational methods in transport: verification and validation : with 33 tables Computer arithmetic and validity : theory, implementation and applications Computer Arithmetic and Validity : Theory, Implementation, and Applications Akkurate Abstandsalgorithmen mit Ergebnisverifikation Numerical software with result verification : international Dagstuhl Seminar, Dagstuhl castle, Germany, January 19 - 24, 2003 ; revised papers Numerical software with result verification : international Dagstuhl Seminar, Dagstuhl castle, Germany, January 19 - 24, 2003 ; revised papers Adaptive verifizierte Lösung gewöhnlicher Differentialgleichungen A new parallel method for verified global optimization Effizienz und Verläßlichkeit numerischer Vorhersagen zur rechnergestützten Optimierung von Großkraftwerksbrennkammern Iterative solution of linear systems with improved arithmetic and result verification Validierung der Simulation reaktiver Absorptions- und Desorptionsprozesse Validierung der Simulation reaktiver Absorptions- und Desorptionsprozesse Verified linear programming in control system analysis and design Ein Beitrag zur Anwendung der Bitortheorie und zur postprozessiven Beurteilung von numerischen Verfahren der Technischen Mechanik unter Benutzung einer problemorientierten Operatorensprache Iterative solution of linear systems with improved arithmetic and result verification Konzept zur Evaluation hindernisauflösender mikroskaliger Modelle und seine Anwendung auf das Modell MITRAS Zur verifizierten Lösung grosser linearer Gleichungssysteme mit spärlich besetzten Matrizen beliebiger Bandbreite Adaptive numerische Quadratur und Kubatur mit automatischer Ergebnisverifikation Adaptive numerische Quadratur und Kubatur mit automatischer Ergebnisverifikation Verifizierende rechnerinvariante Numerikmodule Design of efficient and correct algorithms : theoretical results and runtime prediction of implementations in practice Scientific computing and validated numerics : proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995 C++ toolbox for verified computing 1. Basic numerical problems : theory, algorithms, and programs C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung Berechnungsmethoden der technischen Hydromechanik und der deterministischen Hydrologie mit Ergebnisverifikation und automatischer Sensitivitätsanalyse : Grundlagen eines technisch-wissenschaftlichen Expertensystems für den Wasserbau und die Wasserwirtschaft Die Erweiterung von Software-Bibliotheken zur effizienten Verifikation der Approximationslösung linearer Gleichungssysteme Numerical toolbox for verified computing 1. Basic numerical problems Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs Accurate numerical algorithms : a collection of research papers Accurate Numerical Algorithms : A Collection of Research Papers Wissenschaftliches Rechnen mit Ergebnisverifikation : eine Einführung Wissenschaftliches Rechnen mit Ergebnisverifikation : eine Einführung Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12 - 14, 1985 ; proceedings Wahrheit als Richtigkeit : e. Unters. zur Schrift "De veritate" von Anselm von Canterbury Richtigkeit und Wahrheit in der Mathematik C++ toolbox for verified computing Numerical toolbox for verified computing

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Richtigkeit von Ergebnissen

Wissenschaftliches Rechnen mit Ergebnisverifikation

Erfassung von Trajektorien und Erkennung von Bewegungsmustern

Interval Analysis : and Automatic Result Verification

Interval Analysis : and Automatic Result Verification

Interval Analysis and Automatic Result Verification

Computer arithmetic and validity : theory, implementation, and applications

Computer Arithmetic and Validity : Theory, Implementation, and Applications

Der Analysen-Leerwert beim Radioimmunoassay: Einflüsse auf die unspezifische Antigen-Bindung und ihr Effekt auf die Richtigkeit der Ergebnisse bei der Insulin-Bestimmung

Computational methods in transport: verification and validation : with 33 tables

Computational methods in transport: verification and validation : with 33 tables

Computer arithmetic and validity : theory, implementation and applications

Computer Arithmetic and Validity : Theory, Implementation, and Applications

Akkurate Abstandsalgorithmen mit Ergebnisverifikation

Numerical software with result verification : international Dagstuhl Seminar, Dagstuhl castle, Germany, January 19 - 24, 2003 ; revised papers

Numerical software with result verification : international Dagstuhl Seminar, Dagstuhl castle, Germany, January 19 - 24, 2003 ; revised papers

Adaptive verifizierte Lösung gewöhnlicher Differentialgleichungen

A new parallel method for verified global optimization

Effizienz und Verläßlichkeit numerischer Vorhersagen zur rechnergestützten Optimierung von Großkraftwerksbrennkammern

Iterative solution of linear systems with improved arithmetic and result verification

Validierung der Simulation reaktiver Absorptions- und Desorptionsprozesse

Validierung der Simulation reaktiver Absorptions- und Desorptionsprozesse

Verified linear programming in control system analysis and design

Ein Beitrag zur Anwendung der Bitortheorie und zur postprozessiven Beurteilung von numerischen Verfahren der Technischen Mechanik unter Benutzung einer problemorientierten Operatorensprache

Iterative solution of linear systems with improved arithmetic and result verification

Konzept zur Evaluation hindernisauflösender mikroskaliger Modelle und seine Anwendung auf das Modell MITRAS

Zur verifizierten Lösung grosser linearer Gleichungssysteme mit spärlich besetzten Matrizen beliebiger Bandbreite

Adaptive numerische Quadratur und Kubatur mit automatischer Ergebnisverifikation

Adaptive numerische Quadratur und Kubatur mit automatischer Ergebnisverifikation

Verifizierende rechnerinvariante Numerikmodule

Design of efficient and correct algorithms : theoretical results and runtime prediction of implementations in practice

Scientific computing and validated numerics : proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995

C++ toolbox for verified computing

C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs

Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung

Innere-Punkt-Methoden und automatische Ergebnisverifikation in der Linearen Optimierung

Berechnungsmethoden der technischen Hydromechanik und der deterministischen Hydrologie mit Ergebnisverifikation und automatischer Sensitivitätsanalyse : Grundlagen eines technisch-wissenschaftlichen Expertensystems für den Wasserbau und die Wasserwirtschaft

Die Erweiterung von Software-Bibliotheken zur effizienten Verifikation der Approximationslösung linearer Gleichungssysteme

Numerical toolbox for verified computing

Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs

Accurate numerical algorithms : a collection of research papers

Accurate Numerical Algorithms : A Collection of Research Papers

Wissenschaftliches Rechnen mit Ergebnisverifikation : eine Einführung

Wissenschaftliches Rechnen mit Ergebnisverifikation : eine Einführung

Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12 - 14, 1985 ; proceedings

Wahrheit als Richtigkeit : e. Unters. zur Schrift "De veritate" von Anselm von Canterbury

Richtigkeit und Wahrheit in der Mathematik

C++ toolbox for verified computing

Numerical toolbox for verified computing