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

<div><svg height="12.3916pt" id="M151" 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="M414 144C384 79 371 75 317 75H135L276 221C367 316 408 376 408 465C408 570 327 635 237 635C179 635 131 609 100 575L42 494L67 471C94 510 138 565 205 565C277 565 321 517 321 435C321 348 258 270 195 195C146 137 88 81 33 26V0H411C423 44 433 88 446 135L414 144Z"></path></g></svg> in grid with 18 equal elements.</div>

Mathematical Problems in Engineering

fig6

Figure 6

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