Pakiet: qepcad (1.74+ds-5)

[ Pakiet źródłowy: qepcad  ]

quantifier elimination tool

QEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due originally to Hoon Hong, and subsequently added on to by many others. It is an interactive command-line program written in C/C++, and based on the SACLIB library. Presented here is QEPCAD B version 1.x, the "B" designating a substantial departure from the original QEPCAD and distinguishing it from any development of the original that may proceed in a different direction. QEPCAD and the SACLIB library are the result of a program of research by George Collins and his PhD students that has spanned several decades ... and continues still!

Inne pakiety związane z qepcad

• dep: libc6 (>= 2.38)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libgcc-s1 (>= 3.0) [nie armel, armhf, i386, riscv64]

  Biblioteka wspomagająca GCC

  dep: libgcc-s1 (>= 3.4) [riscv64]

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 7) [i386]

• dep: libgl1

  Biblioteka przesyłowa GL niezależna od dostawcy - obsługa starszej wersji GL

• dep: libglu1-mesa

  Mesa OpenGL utility library (GLU)

  lub libglu1

  pakiet wirtualny udostępniany przez libglu1-mesa

• dep: libglut3.12 (>= 3.4.0)

  Zestaw narzędziowy do OpenGL

• dep: libreadline8t64 (>= 6.0)

  Biblioteki GNU readline i history, wersje uruchomieniowe

• dep: libstdc++6 (>= 14)

  Standardowa biblioteka GNU C++, wersja 3

• dep: singular

  Computer Algebra System for Polynomial Computations

Pobieranie qepcad

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	435,4 KiB	1 754,0 KiB	[lista plików]
arm64	399,4 KiB	1 910,0 KiB	[lista plików]
armel	344,7 KiB	1 535,0 KiB	[lista plików]
armhf	359,3 KiB	1 099,0 KiB	[lista plików]
i386	480,7 KiB	2 175,0 KiB	[lista plików]
mips64el	429,1 KiB	2 485,0 KiB	[lista plików]
ppc64el	468,7 KiB	2 486,0 KiB	[lista plików]
riscv64	456,4 KiB	1 418,0 KiB	[lista plików]
s390x	433,3 KiB	1 938,0 KiB	[lista plików]