Package: fricas (1.3.11-2 and others)

[ Source: fricas  ]

sistema di algebra al computer universale: eseguibile principale e moduli

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 il programma eseguibile principale e tutti i moduli di algebra precompilati e caricabili automaticamente.

Other Packages Related to fricas

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

  sistema universale di algebra al computer: database di testo generati

  dep: fricas-databases (= 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: libedit2 (>= 2.11-20080614-0)

  librerie BSD per la cronologia e la modifica della riga di comando

• dep: libgcc-s1 (>= 3.0) [arm64]

  libreria di supporto a GCC

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

  libreria di supporto a GCC

• dep: libgmp10 (>= 2:6.2.1+dfsg1) [x32]

  libreria aritmetica a precisione multipla

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not x32]

• dep: libtirpc3 (>= 1.0.2) [x32]

  libreria RPC indipendente dal trasporto

• dep: libtirpc3t64 (>= 1.0.2) [not x32]

  libreria RPC indipendente dal trasporto

• dep: libx11-6

  libreria X11 lato client

• dep: libxpm4 [sparc64]

  libreria pixmap X11

• dep: mawk

  linguaggio per la ricerca di modelli e l'elaborazione di testo

• rec: fricas-doc

  sistema universale di algebra al computer: documentazione

• rec: fricas-graphics

  sistema universale di algebra al computer: sottosistema grafico

• rec: fricas-hypertex

  sistema universale di algebra al computer: sottosistema hypertex

• rec: fricas-source

  sistema universale di algebra al computer: file sorgenti

• sug: fricas-test

  sistema universale di algebra al computer: input per test di regressione

• sug: fricas-tex

  Package not available

• sug: nowebm

  Package not available

• sug: texmacs

  editor di testo scientifico WYSIWYG che usa tipi di carattere TeX

Download fricas

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.3.11-2	51,448.1 kB	328,952.0 kB	[list of files]
amd64	1.3.11-2	52,683.1 kB	309,281.0 kB	[list of files]
arm64	1.3.11-2	49,629.9 kB	311,216.0 kB	[list of files]
armel	1.3.11-2	47,573.5 kB	220,305.0 kB	[list of files]
armhf	1.3.11-2	49,747.7 kB	214,159.0 kB	[list of files]
hppa (unofficial port)	1.3.11-2	52,154.2 kB	257,785.0 kB	[list of files]
i386	1.3.11-2+b1	49,881.1 kB	225,261.0 kB	[list of files]
loong64 (unofficial port)	1.3.11-2	85,040.7 kB	957,707.0 kB	[list of files]
m68k (unofficial port)	1.3.11-2	52,412.5 kB	272,706.0 kB	[list of files]
mips64el	1.3.11-2	52,265.1 kB	329,932.0 kB	[list of files]
ppc64 (unofficial port)	1.3.11-2	48,652.7 kB	340,985.0 kB	[list of files]
ppc64el	1.3.11-2	49,929.3 kB	343,531.0 kB	[list of files]
riscv64	1.3.11-2	128,650.8 kB	1,643,303.0 kB	[list of files]
s390x	1.3.11-2	50,972.9 kB	308,818.0 kB	[list of files]
sh4 (unofficial port)	1.3.11-2	50,789.8 kB	215,041.0 kB	[list of files]
sparc64 (unofficial port)	1.3.11-2	48,230.1 kB	331,438.0 kB	[list of files]
x32 (unofficial port)	1.3.8-8	56,474.4 kB	270,987.0 kB	[list of files]