Paket: libcoq-mathcomp-real-closed (1.1.3-1 och andra)

Länkar för libcoq-mathcomp-real-closed

Debianresurser:

Hämta källkodspaketet mathcomp-real-closed:

Ansvariga:

Externa resurser:

Hemsida [github.com]

Liknande paket:

Real closed fields for Mathematical Components

This library contains definitions and theorems about real closed fields for Mathematical Components. It includes a construction of the real and algebraic closure (with a proof of the fundamental theorem of algebra). The decidability of the first order theory of real closed field, through quantifier elimination is also established.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

Andra paket besläktade med libcoq-mathcomp-real-closed

beror

rekommenderar

föreslår

enhances

dep: libcoq-mathcomp-algebra-fo2h3 [armhf]

virtuellt paket som tillhandahålls av libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-jkay4 [arm64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-npfq8 [i386]

virtuellt paket som tillhandahålls av libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-ns1c5 [amd64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-q5ru3 [ppc64el]

virtuellt paket som tillhandahålls av libcoq-mathcomp-algebra
dep: libcoq-mathcomp-algebra-skso8 [s390x]

virtuellt paket som tillhandahålls av libcoq-mathcomp-algebra
dep: libcoq-mathcomp-bigenough-0wm37 [arm64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-bigenough-2yp24 [ppc64el]

virtuellt paket som tillhandahålls av libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-bigenough-579z8 [amd64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-bigenough-fp5k5 [armhf]

virtuellt paket som tillhandahålls av libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-bigenough-j3wv5 [i386]

virtuellt paket som tillhandahålls av libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-bigenough-w2z12 [s390x]

virtuellt paket som tillhandahålls av libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-field-3ivo6 [amd64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-field
dep: libcoq-mathcomp-field-48pj7 [i386]

virtuellt paket som tillhandahålls av libcoq-mathcomp-field
dep: libcoq-mathcomp-field-5ny88 [ppc64el]

virtuellt paket som tillhandahålls av libcoq-mathcomp-field
dep: libcoq-mathcomp-field-au789 [armhf]

virtuellt paket som tillhandahålls av libcoq-mathcomp-field
dep: libcoq-mathcomp-field-i6ng7 [arm64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-field
dep: libcoq-mathcomp-field-satj6 [s390x]

virtuellt paket som tillhandahålls av libcoq-mathcomp-field
dep: libcoq-mathcomp-ssreflect-0cpi5 [i386]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-4wd38 [s390x]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-7sy01 [amd64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-bczw3 [arm64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-l1wx5 [ppc64el]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-qo8z6 [armhf]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect

sug: ocaml-findlib

management tool for OCaml libraries

Hämta libcoq-mathcomp-real-closed

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	1.1.3-1+b4	2.241,9 kbyte	9.448,0 kbyte	[filförteckning]
arm64	1.1.3-1+b4	2.242,0 kbyte	9.448,0 kbyte	[filförteckning]
armhf	1.1.3-1+b4	2.241,6 kbyte	9.445,0 kbyte	[filförteckning]
i386	1.1.3-1+b4	2.241,8 kbyte	9.445,0 kbyte	[filförteckning]
ppc64el	1.1.3-1+b4	2.241,9 kbyte	9.448,0 kbyte	[filförteckning]
s390x	1.1.3-1+b4	2.242,1 kbyte	9.448,0 kbyte	[filförteckning]