Paquet : fricas (1.3.11-3)
Liens pour fricas
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source fricas :
Responsable :
Ressources externes :
- Page d'accueil [fricas.sourceforge.net]
Paquets similaires :
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.11-3)
- système généraliste d'algèbre : bases de données texte générées
-
- dep: libc6 (>= 2.38)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- dep: libedit2 (>= 2.11-20080614-0)
- bibliothèques BSD d'édition de ligne et d'historique
-
- dep: libgcc-s1 (>= 4.0) [arm64]
- bibliothèque de prise en charge de GCC
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Bibliothèque arithmétique à multi-précision
-
- dep: libtirpc3t64 (>= 1.0.2)
- bibliothèque RPC indépendante de la couche de transport
-
- dep: libx11-6
- bibliothèque X11 partie client
-
- dep: mawk
- langage de traitement de texte et de recherche de motifs
-
- 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
- éditeur de texte scientifique WYSIWYG utilisant les fontes de TeX
Télécharger fricas
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 53 911,6 ko | 453 457,0 ko | [liste des fichiers] |
| arm64 | 52 265,7 ko | 448 367,0 ko | [liste des fichiers] |
| armel | 49 008,0 ko | 320 620,0 ko | [liste des fichiers] |
| armhf | 50 802,3 ko | 312 565,0 ko | [liste des fichiers] |
| i386 | 49 651,8 ko | 313 847,0 ko | [liste des fichiers] |
| ppc64el | 54 002,1 ko | 480 528,0 ko | [liste des fichiers] |
| riscv64 | 109 671,2 ko | 1 442 590,0 ko | [liste des fichiers] |
| s390x | 54 208,8 ko | 449 381,0 ko | [liste des fichiers] |