Pacote: qepcad (1.74+ds-5)

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

Outros pacotes relacionados a qepcad

• dep: libc6 (>= 2.38)

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6-udeb

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

  Biblioteca de suporte GCC

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

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

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

• dep: libgl1

  biblioteca de despacho GL independente de fornecedor(a) - - suporte legado GL

• dep: libglu1-mesa

  Mesa OpenGL utility library (GLU)

  ou libglu1

  pacote virtual fornecido por libglu1-mesa

• dep: libglut3.12 (>= 3.4.0)

  conjunto de ferramentas OpenGL

• dep: libreadline8t64 (>= 6.0)

  bibliotecas readline e history da GNU, bibliotecas de tempo de execução

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

  Biblioteca C++ padrão da GNU v3

• dep: singular

  Computer Algebra System for Polynomial Computations

Download de qepcad

Baixe para todas as arquiteturas disponíveis

Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
amd64	435.4 kB	1,754.0 kB	[lista de arquivos]
arm64	399.4 kB	1,910.0 kB	[lista de arquivos]
armel	344.7 kB	1,535.0 kB	[lista de arquivos]
armhf	359.3 kB	1,099.0 kB	[lista de arquivos]
i386	480.7 kB	2,175.0 kB	[lista de arquivos]
mips64el	429.1 kB	2,485.0 kB	[lista de arquivos]
ppc64el	468.7 kB	2,486.0 kB	[lista de arquivos]
riscv64	456.4 kB	1,418.0 kB	[lista de arquivos]
s390x	433.3 kB	1,938.0 kB	[lista de arquivos]