Paquet : elpa-fricas (1.3.6-6)

[ Paquet source : fricas  ]

système généraliste d'algèbre : prise en charge d’Emacs

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 la prise en charge pour exécuter Fricas à l’aide d’Emacs.

Autres paquets associés à elpa-fricas

• dep: dh-elpa-helper

  helper package for emacs lisp extensions

• dep: emacsen-common

  code commun à toutes les versions d'Emacs

• enh: emacs

  éditeur GNU Emacs – métapaquet
  un paquet virtuel est également fourni par emacs-gtk, emacs-lucid, emacs-nox

Télécharger elpa-fricas

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	129,0 ko	275,0 ko	[liste des fichiers]