Proof of Analog Results Through Numerically Equivalent Routine (->"IEEE Standard Dictionary")