Paquet : fricas (1.3.6-6)

[ Paquet source : fricas  ]

système généraliste d'algèbre : programme principal et modules

Fricas est utile pour la recherche et le développement d’algorithmes mathématiques. Il définit une hiérarchie de types corrects mathématiquement et est fortement typé. Il possède un langage de programmation et un compilateur interne.

Fricas a été développé depuis 1973 et était vendu comme un produit commercial. Il a été depuis publié en tant que logiciel libre.

Des efforts ont été entrepris pour étendre ce logiciel pour développer son interface utilisateur, pour qu’il soit utile comme outil d’enseignement, pour développer un protocole de serveur d’algèbre, pour incorporer des mathématiques supplémentaires, pour reconstruire l’algèbre dans un style de programmation littéraire, pour intégrer la programmation de la logique et pour développer le Journal de Fricas avec des soumissions évaluées par des pairs.

Ce paquet fournit le programme principal et tous les modules pré-compilés d'algèbre qui peuvent être automatiquement chargés.

Autres paquets associés à fricas

• dep: fricas-databases (= 1.3.6-6)

  système généraliste d'algèbre : bases de données texte générées

• dep: gawk

  GNU awk, langage de recherche de motif et de traitement

• dep: libc6 (>= 2.29)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

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

  bibliothèque de prise en charge de GCC

• dep: libgmp10

  Bibliothèque arithmétique à multi-précision

• dep: libreadline8 (>= 6.0)

  bibliothèques GNU readline et GNU history (exécutables)

• dep: libx11-6

  bibliothèque X11 partie client

• rec: fricas-doc

  système généraliste d'algèbre – documentation

• rec: fricas-graphics

  General purpose computer algebra system: graphics subsystem

• rec: fricas-hypertex

  General purpose computer algebra system: hypertex subsystem

• rec: fricas-source

  système généraliste d'algèbre – fichiers source

• sug: fricas-test

  General purpose computer algebra system: regression test inputs

• sug: fricas-tex

  Paquet indisponible

• sug: nowebm

  Paquet indisponible

• sug: texmacs

  Paquet indisponible

Télécharger fricas

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	53 561,9 ko	394 620,0 ko	[liste des fichiers]
arm64	50 595,7 ko	383 107,0 ko	[liste des fichiers]
armel	46 784,0 ko	245 953,0 ko	[liste des fichiers]
armhf	49 499,1 ko	241 877,0 ko	[liste des fichiers]
i386	51 774,1 ko	260 103,0 ko	[liste des fichiers]
mips64el	52 574,0 ko	410 120,0 ko	[liste des fichiers]
mipsel	50 499,9 ko	263 747,0 ko	[liste des fichiers]
ppc64el	52 577,8 ko	422 413,0 ko	[liste des fichiers]
s390x	47 881,8 ko	384 598,0 ko	[liste des fichiers]