Package: fricas-hypertex (1.3.11-2 and others)

[ Source: fricas  ]

sistema universale di algebra al computer: sottosistema hypertex

Fricas è utile per la ricerca e lo sviluppo di algoritmi matematici. Definisce una gerarchia di tipi, rigorosa e matematicamente corretta. Ha un linguaggio di programmazione ed un compilatore incorporato.

Fricas è stato sviluppato sin dal 1973 ed è stato venduto come prodotto commerciale. È stato rilasciato come software libero.

Sono in corso sforzi per estendere questo software per (a) sviluppare un'interfaccia utente migliore; (b) renderlo utile come strumento di insegnamento; (c) sviluppare un protocollo server per l'algebra; (d) integrare matematica aggiuntiva; (e) ricostruire l'algebra in uno stile di programmazione documentato; (f) integrare la programmazione logica; (g) sviluppare un Fricas Journal con contributi sottoposti a revisione.

Questo pacchetto contiene i binari per il sottosistema hypertex. I programmi in questo pacchetto forniscono un sistema di guida in linea interattiva che descrive i molti comandi di Fricas.

Other Packages Related to fricas-hypertex

• dep: fricas (= 1.3.11-2) [not i386, x32]

  sistema di algebra al computer universale: eseguibile principale e moduli

  dep: fricas (= 1.3.11-2+b1) [i386]

  dep: fricas (= 1.3.8-8) [x32]

• dep: fricas-hypertex-data (= 1.3.11-2) [not x32]

  sistema universale di algebra al computer: dati hypertex

  dep: fricas-hypertex-data (= 1.3.8-8) [x32]

• dep: libc6 (>= 2.34) [x32]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.37) [sh4]

  dep: libc6 (>= 2.38) [not alpha, loong64, sh4, x32]

  dep: libc6 (>= 2.39) [loong64]

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

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

• dep: libx11-6

  libreria X11 lato client

• dep: libxpm4

  libreria pixmap X11

Download fricas-hypertex

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.3.11-2	182.4 kB	513.0 kB	[list of files]
amd64	1.3.11-2	184.7 kB	367.0 kB	[list of files]
arm64	1.3.11-2	178.6 kB	447.0 kB	[list of files]
armel	1.3.11-2	173.8 kB	336.0 kB	[list of files]
armhf	1.3.11-2	173.4 kB	280.0 kB	[list of files]
hppa (unofficial port)	1.3.11-2	174.5 kB	343.0 kB	[list of files]
i386	1.3.11-2+b1	189.8 kB	381.0 kB	[list of files]
loong64 (unofficial port)	1.3.11-2	179.8 kB	382.0 kB	[list of files]
m68k (unofficial port)	1.3.11-2	158.8 kB	300.0 kB	[list of files]
mips64el	1.3.11-2	183.8 kB	534.0 kB	[list of files]
ppc64 (unofficial port)	1.3.11-2	187.0 kB	575.0 kB	[list of files]
ppc64el	1.3.11-2	188.7 kB	511.0 kB	[list of files]
riscv64	1.3.11-2	189.1 kB	343.0 kB	[list of files]
s390x	1.3.11-2	186.6 kB	394.0 kB	[list of files]
sh4 (unofficial port)	1.3.11-2	178.2 kB	445.0 kB	[list of files]
sparc64 (unofficial port)	1.3.11-2	170.5 kB	3,206.0 kB	[list of files]
x32 (unofficial port)	1.3.8-8	174.5 kB	340.0 kB	[list of files]