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

<div><svg height="12.3916pt" id="M150" style="vertical-align:-3.42948pt" version="1.1" viewbox="-0.0498162 -8.96212 12.0924 12.3916" width="12.0924pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M542 242C542 369 469 429 379 468C370 472 372 496 376 513L416 681L400 691L344 648L219 51C167 69 113 128 113 217C113 324 166 387 266 428L252 459C124 418 23 336 23 202C23 95 90 13 205 -8L182 -132C165 -222 191 -254 209 -261L215 -258L270 -7C415 -4 542 98 542 242ZM469 232C469 126 403 33 279 39L355 409C399 394 469 331 469 232Z"></path></g><g transform="matrix(.0091,0,0,-0.0091,7.02,3.132)"><path d="M389 0V32C297 38 291 46 291 118V635C234 613 175 595 109 583V556L161 554C203 552 207 547 207 497V118C207 46 201 38 110 32V0H389Z"></path></g></svg> in grid with 18 equal elements.</div>

Mathematical Problems in Engineering

fig5

Figure 5

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