toutes les options
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Paquet source : fricas  ]

Paquet : fricas (1.3.11-5)

Liens pour fricas

Screenshot

Ressources Debian :

Télécharger le paquet source fricas :

Responsable :

Ressources externes :

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

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger fricas

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 54 795,3 ko424 729,0 ko [liste des fichiers]
amd64 55 149,4 ko418 529,0 ko [liste des fichiers]
arm64 52 959,4 ko412 509,0 ko [liste des fichiers]
armhf 50 075,2 ko288 684,0 ko [liste des fichiers]
hppa (portage non officiel) 61 057,7 ko345 062,0 ko [liste des fichiers]
i386 50 865,2 ko295 759,0 ko [liste des fichiers]
loong64 65 523,8 ko571 694,0 ko [liste des fichiers]
m68k (portage non officiel) 47 308,3 ko319 597,0 ko [liste des fichiers]
ppc64 (portage non officiel) 54 096,8 ko429 812,0 ko [liste des fichiers]
ppc64el 55 696,9 ko446 176,0 ko [liste des fichiers]
riscv64 131 070,9 ko1 628 978,0 ko [liste des fichiers]
s390x 55 190,2 ko415 622,0 ko [liste des fichiers]
sh4 (portage non officiel) 59 521,6 ko349 614,0 ko [liste des fichiers]
sparc64 (portage non officiel) 68 427,5 ko555 552,0 ko [liste des fichiers]
x32 (portage non officiel) 54 956,0 ko330 627,0 ko [liste des fichiers]