Package: coqprime-tools (8.19-1 and others)

[ Source: coqprime  ]

Primalitetcertifikation for Coq - værktøjer

Coqprime består af:

 - et bibliotek med fakta fra talteori
 - et bibliotek for elliptiske kurver
 - et effektivt bibliotek for modulopbygget artimetik
 - værktøjer til at oprette Pocklington og elliptiske kurvecertifikater
   for primalitet

Coq er en bevisassistent for logik i højere orden.

Other Packages Related to coqprime-tools

• dep: libc6 (>= 2.34)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libcoq-coqprime (= 8.17-1+b1) [ppc64]

  Primality certification for Coq (library)

  dep: libcoq-coqprime (= 8.19-1) [not ppc64]

• dep: libecm1 (>= 7.0.5+ds)

  Faktorering af heltal med brug af den elliptiske kurvemetode - bibliotek

• dep: libgmp10 (>= 2:6.2.1+dfsg1) [ppc64]

  Bibliotek til multipræcision i aritmetik

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not ppc64]

• dep: ocaml-base-nox

  Overgangspakke for ocaml-base

  or ocaml-base

  Kørselstidssystem for OCaml-bytecode kørbare filer

Download coqprime-tools

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	8.19-1	133.9 kB	781.0 kB	[list of files]
arm64	8.19-1	132.9 kB	837.0 kB	[list of files]
armhf	8.19-1	131.2 kB	751.0 kB	[list of files]
i386	8.19-1	135.3 kB	783.0 kB	[list of files]
ppc64 (unofficial port)	8.17-1+b1	131.9 kB	825.0 kB	[list of files]
ppc64el	8.19-1	134.8 kB	837.0 kB	[list of files]
riscv64	8.19-1	134.8 kB	765.0 kB	[list of files]
s390x	8.19-1	132.1 kB	781.0 kB	[list of files]