SEARCH Articles Figures Tables Synthesis results for the arithmetic library modules. [Publishers Imprint]