package coq-addition-chains

  1. Overview
  2. No Docs
Exponentiation algorithms following addition chains

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. P
    Pierre Castéran
  2. Y
    Yves Bertot

Maintainers

  1. P
    palmskog@gmail.com

Sources

v0.4.tar.gz
sha256=bba82794e49e03fd82fcee592b2b037ec20669d10e6c47ed8b4f8a7f851756eb

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-05-19

Published: 08 Jun 2021

Dependencies (2)

  1. coq-mathcomp-algebra
  2. dune >= "2.5"

Dev Dependencies (3)

  1. coq-mathcomp-ssreflect (>= "1.11.0" & < "1.13~") | (= "dev")
  2. coq-paramcoq (>= "1.1.2" & < "1.2~") | (= "dev")
  3. coq (>= "8.11" & < "8.14~") | (= "dev")

Used by

None

Conflicts

None