Richardson Extrapolation-Based Verification Method of Scientific Calculation Program Without the Oracles: A Case Study

Mathematical Problems in Engineering - Egypt
doi 10.1155/2019/5782146
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Hindawi Limited

Related search

A Local Grid Refinement Technique Based Upon Richardson Extrapolation

Applied Mathematical Modelling
ModelingApplied MathematicsSimulation
1997English

A Scientific Software Verification Library Based on the Method of Manufactured Solutions

2011English

Interpolation Strategies in Repeated Richardson Extrapolation

Journal of Intelligent and Fuzzy Systems
EngineeringStatisticsProbabilityArtificial Intelligence
2016English

A Different Look at the Richardson Extrapolation Leading to a New Proposition

2016English

Certificate-Based Signature Schemes Without Pairings or Random Oracles

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Asymptotic Analysis of a Generalized Richardson Extrapolation Process on Linear Sequences

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
2009English

Stochastic Perron’s Method and Verification Without Smoothness Using Viscosity Comparison: The Linear Case

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
2012English

A Study of the Geometrical Condition and a Calculation Method for the Minimum Zone Method. A Roundness Calculation Method Based on the Geometrical Condition.

Nippon Kikai Gakkai Ronbunshu, C Hen/Transactions of the Japan Society of Mechanical Engineers, Part C
Mechanics of MaterialsIndustrialMechanical EngineeringManufacturing Engineering
1992English

Applicability of the Richardson Method in a Complex-Energy Basis: Fermionic Case

Physical Review C
High Energy PhysicsNuclear
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy