deducorrect-package

Deductive correction methods for sign, rounding and typing errors