This paper describes two sets of algorithms in positive radix arithmetic for conversions between positive and negative integral radix representation of numbers. Each set consists of algorithms for ...

Author (s): Kazuhiko Sakaguchi (initial) Cyril Cohen License: CeCILL-B Free Software License Agreement Compatible Rocq/Coq versions: 8.19 or later Additional dependencies: MathComp ssreflect 2.3.0 or ...

Add this topic to your repo To associate your repository with the sort-algorithms topic, visit your repo's landing page and select "manage topics." Learn more ...