package coq-addition-chains
Exponentiation algorithms following addition chains
Install
Dune Dependency
Authors
Maintainers
Sources
v0.5.tar.gz
sha512=7edd74fa408b996ebe7c4748046fda522f24a4b532c58b5ad55edeaa4bbd137ba9f21b0b6c1f824d4e7c50f04fb6afe488dfbcd24702e8fe44eb75b780610458
Description
Addition chains are algorithms for computations of the p-th power of some x, with the least number of multiplication as possible. We present a few implementations of addition chains, with proofs of their correctness
Tags
category:Mathematics/Combinatorics and Graph Theory keyword:addition chains keyword:exponentiation algorithms logpath:additions date:2021-10-15Published: 15 Oct 2021
Dependencies (5)
- coq-mathcomp-algebra
-
coq-mathcomp-ssreflect
>= "1.12.0" & < "1.13~" -
coq-paramcoq
>= "1.1.3" & < "1.2~" -
coq
>= "8.13" & < "8.15~" -
dune
>= "2.5"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page