Balík: qepcad (1.74+ds-5 a iné)

[ Zdroj: 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!

Ostatné balíky súvisiace s balíkom qepcad

• dep: libc6 (>= 2.38) [nie alpha, ia64, loong64]

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

  dep: libc6 (>= 2.39) [loong64]

• dep: libc6.1 (>= 2.37) [ia64]

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6.1-udeb

  dep: libc6.1 (>= 2.38) [alpha]

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, mips64el, ppc64, ppc64el, s390x, x32]

  podporná knižnica GCC

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

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

  dep: libgcc-s1 (>= 4.2) [ia64]

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

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  podporná knižnica GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  podporná knižnica GCC

• dep: libgl1

  knižnica dispečera GL nezávislá od dodávateľa - podpora spätnej kompatibility s GL

• dep: libglu1-mesa

  OpenGL knižnica Mesa - GLU

  alebo libglu1

  virtuálny balík poskytovaný balíkom libglu1-mesa

• dep: libglut3.12 (>= 3.4.0)

  sada pomocných nástrojov OpenGL

• dep: libreadline8t64 (>= 6.0)

  GNU knižnice readline a histórie, dynamické knižnice

• dep: libstdc++6 (>= 13.1) [ia64, m68k]

  štandardná knižnica C++ GNU v3

  dep: libstdc++6 (>= 14) [nie ia64, m68k]

• dep: libunwind8 [ia64]

  nnižnica na určenie na určenie postupnosti volania programu - dynamické súbory

• dep: libx11-6 [sparc64]

  X11 client-side library

• dep: libxext6 [sparc64]

  knižnica rozličných rozšírení X11

• dep: singular

  Computer Algebra System for Polynomial Computations

Stiahnuť qepcad

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	1.74+ds-5	402.4 kB	2,298.0 kB	[zoznam súborov]
amd64	1.74+ds-5	435.4 kB	1,754.0 kB	[zoznam súborov]
arm64	1.74+ds-5	399.4 kB	1,910.0 kB	[zoznam súborov]
armel	1.74+ds-5	344.7 kB	1,535.0 kB	[zoznam súborov]
armhf	1.74+ds-5	359.3 kB	1,099.0 kB	[zoznam súborov]
hppa (neoficiálny port)	1.74+ds-5	390.1 kB	1,740.0 kB	[zoznam súborov]
i386	1.74+ds-5	480.7 kB	2,175.0 kB	[zoznam súborov]
ia64 (neoficiálny port)	1.74+ds-4+b1	480.3 kB	3,532.0 kB	[zoznam súborov]
loong64 (neoficiálny port)	1.74+ds-5	417.8 kB	1,862.0 kB	[zoznam súborov]
m68k (neoficiálny port)	1.74+ds-5	402.4 kB	1,731.0 kB	[zoznam súborov]
mips64el	1.74+ds-5	429.1 kB	2,485.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	1.74+ds-5	462.4 kB	2,678.0 kB	[zoznam súborov]
ppc64el	1.74+ds-5	468.7 kB	2,486.0 kB	[zoznam súborov]
riscv64	1.74+ds-5	456.4 kB	1,418.0 kB	[zoznam súborov]
s390x	1.74+ds-5	433.3 kB	1,938.0 kB	[zoznam súborov]
sparc64 (neoficiálny port)	1.74+ds-5	337.3 kB	3,136.0 kB	[zoznam súborov]
x32 (neoficiálny port)	1.74+ds-5	430.0 kB	1,691.0 kB	[zoznam súborov]