Debian Edu Mathematics packages

AlgoBox est un logiciel d'aide à l'élaboration et à l'exécution d'algorithmes dans l'esprit des nouveaux programmes de mathématiques du lycée en France. Il est basé sur une logique pédagogique (apprentissage de l'algorithmique par structures logiques et non pas uniquement par alignement de lignes de code).

Cantor est une application permettant d’utiliser des programmes mathématiques à partir d’une interface de tableur élégante. Il fournit des aides pour les tâches les plus courantes et permet de partager les feuilles de calcul avec d’autres personnes.

Cantor gère diverses applications mathématiques avec, pour chacune, un moteur fourni dans un paquet séparé :

 – le système de calcul algébrique Maxima (cantor-backend-maxima) ;
 – le projet R pour le calcul statistique (cantor-backend-r) ;
 – le logiciel mathématique Sage (cantor-backend-sage) ;
 – Octave (cantor-backend-octave) ;
 – Python (cantor-backend-python3) ;
 – Scilab (cantor-backend-scilab) ;
 – Qalculate! (cantor-backend-qalculate) ;
 – Lua (cantor-backend-lua).

Ce paquet fait partie du module éducatif de KDE.

Basé sur le projet C.a.R. (Compass and Ruler), CaRMetal inclut toutes ses fonctionnalités ou presque. Il propose une approche différente de l'interface graphique.

 — les constructions à la règle et au compas peuvent être modifiées en
   déplaçant un des points de construction. La construction suit
   immédiatement. L'étudiant peut vérifier que sa construction est
   correcte et renforcer son intuition ;
 – le suivi de points et les constructions animées peuvent aider à
   comprendre les relations géométriques. Les suivis peuvent servir de
   nouveaux objets à explorer ;
 — avec les macros de C.a.R., les constructions très compliquées
   deviennent possibles. Les macros sont aussi un moyen d'organiser la
   pensée géométrique ;
 — masquer les détails de construction et utiliser des couleurs clarifient
   la lecture des constructions. Dans C.a.R., les lignes et cercles
   peuvent aussi être réduits aux points pertinents ;
 — les calculs arithmétiques, les solutions numériques, les courbes et les
   fonctions vont au-delà des constructions classiques. Il est même
   possible de construire en 3D avec des macros évoluées ;
 — d'autres géométries, hyperboliques ou elliptiques, peuvent être
   explorées ;
 — il est possible de scripter les figures en JavaScript.

A package to reorganize menu branches in order to get a structure easy to use for teachers and students.

GeoGebra est un système de géométrie dynamique. Il est possible de réaliser des constructions avec des points, des vecteurs, des segments, des lignes, des éléments coniques ainsi que des fonctions, et de les modifier dynamiquement par la suite. D’autre part, il est possible d'entrer directement des équations et coordonnées.

Le logiciel gère de nombreuses constructions géométriques ainsi que de nombreux outils élémentaires basés sur les calculs (dérivées, cercle osculateur, etc.).

Les fichiers GeoGebra peuvent être exportés vers de nombreux formats, ainsi que vers des appliquettes interactives pour des pages web.

Geomview est un logiciel de géométrie interactif, particulièrement bien adapté à la recherche et à l'enseignement à propos de mathématiques. En particulier, geomview peut afficher des objets dans des espaces hyperboliques et sphériques ainsi que dans des espaces euclidiens.

Geomview vous permet de manipuler indépendamment plusieurs objets et plusieurs représentations géométriques (camera). Il vous permet de contrôler le mouvement et l'apparence (éclairage, ombrage, matière) des objets. Vous pouvez manipuler les sommets, les arêtes des objets ; prendre des captures d'écran de vos scènes sous forme de fichiers SGI ou dans le format Renderman RIB. Il est possible d'ajouter ou de supprimer des objets directement à la souris, par l'intermédiaire de menus ou à l'aide de raccourcis claviers. Des programmes externes peuvent contrôler certains paramètres de visualisation (tel que la mise à jour continue du changement de géométrie ou le contrôle du déplacement de certains objets) tout en permettant le contrôle interactif de tout le reste.

Gnuplot est un utilitaire de tracé de données et de fonctions en ligne de commande qui prend en charge de nombreux formats de sortie, dont les pilotes pour de nombreuses imprimantes, (La)Tex, (x)fig, Postscript, etc. La version X11 est empaquetée dans gnuplot-x11.

Les fichiers de données et les fonctions définies par l'utilisateur peuvent être manipulés avec le langage interne de gnuplot (type langage C). Gnuplot peut effectuer des lissages, des régressions linéaires ou non linéaires (par splines notamment) et peut travailler avec les nombres complexes.

Ce métapaquet permet d’installer gnuplot avec toutes ses possibilités (-qt, -x11 ou -nox).

Grace est un outil de pointage-cliquage permettant à l’utilisateur de dessiner des graphiques X-Y. Il s’agit du programme précédemment connu comme Xmgr.

Quelques-unes de ses caractéristiques sont : mise à l’échelle définie par l’utilisateur, marques de graduation, étiquettes, symboles, styles de ligne, couleurs, régression polynomiale, cerces (spline), moyenne mobile, transformation de Fourier discrète et rapide, corrélation croisée ou automatique, traitement par lots pour un tracé automatique et prise en charge de l’impression pour PostScript, FrameMaker et plusieurs formats d’image.

GraphMonkey et une calculatrice graphique basée sur GTK#. Elle utilise une interface simple pour tracer des courbes.

JFractionLab est un bel outil pour les élèves en mathématiques étudiant l’utilisation et l’exploitation des fractions.

Il fournit une collection de jolis exercices avec une représentation numérique et visuelle des fractions.

JFractionLab montre à l’utilisateur chaque étape du calcul et, par conséquent, l’aide à les comprendre.

Il fournit à l’utilisateur une réponse à chaque saisie, rendant impossible une réponse fausse.

This software component contains the reference implementation of the Jupyter notebook format, and Python APIs to work with notebooks.

This package installs the notebook signing tool.

Notebook de Jupyter est une application web permettant de créer et de partager des documents contenant du « live code », des équations, des représentations et des textes d’explication. Notebook prend en charge plusieurs langages de programmation, le partage et les composants graphiques interactifs.

Ce paquet fournit le script «⋅notebook⋅», «⋅nbextension⋅», «⋅serverextension⋅» et «⋅bundlerextension⋅».

KAlgebra est un calculateur graphique algébrique avec prise en charge du traçage de courbes 3D et du langage de balises MathML.

Ce paquet fait partie du module éducatif de KDE.

KBruch est un outil pour apprendre à calculer avec des fractions.

Ce paquet fait partie du module éducatif de KDE.

Kig est une application de construction géométrique interactive qui permet aux étudiants de tracer et d'explorer des figures et concepts mathématiques en utilisant l'ordinateur.

Kig fournit un système de macros et est scriptable en Python. Il peut importer et exporter des fichiers dans divers formats comme SVG, Cabri, Dr. Geo, KGeo, KSeg et XFig.

Ce paquet fait partie du module éducatif de KDE.

KmPlot est un traceur mathématique puissant pour KDE. Il peut tracer plusieurs fonctions simultanément et les combiner dans de nouvelles fonctions.

Les fonctions cartésiennes, paramétriques et différentielles sont gérées, tout comme les fonctions qui utilisent des coordonnées polaires. Les points sont affichés avec une grande précision dans un ratio correct.

KmPlot fournit également des fonctionnalités numériques et visuelles, comme le remplissage et le calcul d'aire entre les points et le premier axe, la recherche de maxima et minima, le changement dynamique des paramètres d'une fonction, le tracé des fonctions dérivées et intégrales.

Ce paquet fait partie du module éducatif de KDE.

Il s'agit du thème Jupyter Sphinx pour la documentation narrative.

Il intègre l'infrastructure CSS/JavaScript de Bootstrap avec diverses options de présentation, une navigation de menu hiérarchique et une conception réactive adaptée aux périphériques mobiles. Il est configurable, extensible et peut utiliser d'innombrables thèmes CSS de Bootswatch.

Ce paquet fournit la version Python⋅3 du thème.

Matplotlib est une bibliothèque de traçage en Python pur conçue pour apporter à Python des capacités de traçage d'une qualité adaptée à la publication, avec une syntaxe familière aux utilisateurs de Matlab. L'accès à toutes les commandes de traçage, dans l'interface pylab, est possible soit à travers une interface fonctionnelle familière aux utilisateurs de Matlab, soit à travers une interface orientée objet familière à ceux de Python.

Ce paquet fournit la version Python⋅3 de matplotlib.

Rocs vise à être un EDI pour la théorie des graphes, pour aider les enseignants à montrer le résultat d’un algorithme de graphe et pour aussi aider les étudiants à concevoir des algorithmes.

Rocs possède un module de scriptage, réalisé en Qt Script, qui interagit avec le graphe dessiné et tout changement dans le graphe avec le script est reflété dans celui dessiné.

Ce paquet fait partie du module éducatif de KDE.

Ce programme est une mise en œuvre du boulier original. Il fournit les versions chinoise, japonaise, coréenne, romaine et russe et peut être modifié pour d’autres versions.

Xmabacus est la version Motif ajoutant des fonctionnalités. Motif est une bibliothèque de composants graphiques pour le système X Window.

Euler est un puissant « laboratoire » numérique muni d’un langage de programmation. Le système peut prendre en compte les nombres réels et complexes, ainsi que les intervalles, les vecteurs et les matrices. Il peut produire des graphes en deux ou trois dimensions.

Entre autres, les fonctions d’Euler sont :

 — scalaires réels et complexes, intervalles et matrices ;
 — langage de programmation, avec variables locales, valeurs par défaut pour
    les paramètres, nombre de paramètres variable, passage de fonctions ;
 — graphes en deux ou trois dimensions ;
 — graphes avec repères ;
 — graphes de densité et contour ;
 — animations ;
 — intégration et différentiation ;
 — fonctions statistiques et tests ;
 — équations différentielles ;
 — méthodes des intervalles et inclusions sûres ;
 — minimisation (Brent, Nelder-Mean) ;
 — algorithme de simplexe ;
 — interpolation et approximation ;
 — résolution des racines de polynômes ;
 — transformation de Fourier rapide (FFT) ;
 — produit scalaire exact en utilisant un accumulateur long ;
 — exportation des graphes au format PostScript.

Ce paquet fournit le programme principal. La documentation pour Euler est fournie par le paquet euler-doc.

La bibliothèque GNU de régressions, d'économétrie et de séries temporelles (gretl) est un paquet pour l'analyse économétrique. Le paquet comporte une bibliothèque partagée, un client en ligne de commande et un client graphique construit avec GTK+.

Ce paquet fournit le client GTK+ et celui en ligne de commande.

Kile est un éditeur de source LaTeX et un shell TeX convivial pour KDE.

L'éditeur de source est un éditeur multi-document conçu pour les fichiers « .tex » et « .bib ». Des menus, des assistants et l'auto-complètement sont disponibles pour vous aider avec l'insertion de marqueurs et la génération de code. Une vue structurée du document vous aide dans la navigation des fichiers source.

Le shell TeX intègre les divers outils nécessaires pour le traitement TeX. Il aide pour la compilation LaTeX, la visualisation de documents DVI et PostScript, la création de bibliographies, d'index et autres tâches usuelles.

Kile peut gérer de gros projets comprenant plusieurs fichiers plus petits.

Mathomatic met en œuvre plupart des règles de l’algèbre pour les opérateurs mathématiques +, -, *, /, % (modulo) et puissance (y compris les racines).

Mathomatic peut symboliquement :

 — combiner et résoudre des équations ;
 — simplifier complètement et comparer des expressions et équations ;
 — réaliser des transformations et séries de calcul infinitésimal ;
 — réaliser de l’arithmétique standard, des nombres complexes, modulaire et
   des polynômes ;
 — générer du code optimisé en langage C, Java et Python à partir
   d’équations simplifiées ;
 — réaliser le tracé d’expressions avec gnuplot en deux ou
   trois dimensions ;
 — réaliser des calculs rapides, colorer des expressions, etc.

Octave est un langage de haut niveau (presque entièrement compatible avec Matlab®), d'abord destiné aux calculs numériques. Il fournit une interface pratique en ligne de commande, pour résoudre de façon numérique les problèmes linéaires et non linéaires.

Octave peut être étendu à l’aide de fichiers C++.

PARI/GP est un système de calcul formel très répandu, conçu pour des calculs rapides en arithmétique (factorisations, théorie algébrique des nombres, courbes elliptiques…). Il contient aussi un grand nombre de fonctions pour le calcul matriciel, sur les développements limités, les nombres algébriques, etc., ainsi que de nombreuses fonctions transcendantes. Pour accélérer certains calculs, PARI est aussi disponible sous forme de bibliothèque C.

Originellement développé par Henri Cohen et ses collaborateurs (Université Bordeaux I, France), PARI est maintenant sous licence GPL, maintenu par Karim Belabas (Université Paris XI, France), avec l'aide de nombreuses contributions bénévoles.

Ce paquet fournit le calculateur GP.

Ce paquet contient une interface graphique simple, basée sur l'interface GNU à Tcl/Tk, qui est adaptée pour enseigner une introduction aux statistiques.

RKWard a pour objectif d’être un frontal transparent, facile à utiliser pour R, un système puissant pour des calculs statistiques et des graphiques. Outre une interface graphique pratique pour les fonctions de statistiques les plus importantes, les futures versions fourniront aussi une intégration harmonieuse avec les suites bureautiques.

Scilab est paquet logiciel scientifique basé sur le calcul matriciel. Scilab fournit en interne des centaines de fonctions mathématiques, des structures puissantes (incluant les polynômes, les fonctions rationnelles, les systèmes linéaires, les listes…), ainsi qu’un certain nombre de boîtes à outils spécifiques au contrôle, traitement de signal…

Ce paquet fournit aussi Xcos, un éditeur graphique pour concevoir des modèles de système dynamique hybride. Ces modèles peuvent être conçus, chargés, enregistrés, compilés ou simulés. Solution stable et efficiente pour les besoins industriels et académiques, Xcos fournit des fonctions pour la modélisation de système mécanique (automobile, aéronautique…), de circuit hydraulique (modélisation de barrage, canalisation…), etc. Des fonctions Modelica sont aussi fournies.

Pour une version minimale de scilab, le paquet « scilab-cli » est à installer.

WxMaxima est une interface graphique pour le système de calcul formel Maxima. Elle facilite l’utilisation de Maxima en offrant la plupart de ses commandes dans un système de menus et en fournissant des boîtes de dialogues pour les commandes nécessitant plus d’un argument. Elle dispose aussi de son propre moteur pour l’affichage de symboles mathématiques directement au lieu de les représenter avec des caractères ASCII.

WxMaxima intègre aussi les tracés 2D et 3D, les animations simples, le mélange de texte et de calculs mathématiques pour créer des documents, l’exportation d’entrée ou sortie pour TeX et un navigateur pour le manuel de Maxima avec index de commandes et recherche complète de texte.

Xaos vous permet d'agrandir et vous déplacer dans une fractale en temps réel. Vous pouvez afficher des fractales animées en mode graphique ou même en mode texte.

L'ensemble de Mandelbrot est la fractale par défaut ; Xaos en propose aussi de nombreuses autres. Il permet les agrandissements de façon dynamique et fluide à l'intérieur des images. Divers modes de coloration des zones de la fractale sont proposés. Il est également possible de passer de l'affichage de l'ensemble de Mandelbrot à l'ensemble de Julia de façon simple et intuitive.

Parmi les fonctionnalités de Xaos, on trouve aussi le mode autopilote, le changement de palette de couleur, la sauvegarde d'image, l'inversion de fractales, des filtres et un tutoriel animé sur les objets mathématiques que sont les fractales.

Yacas est un langage de calcul formel petit et hautement flexible.

La syntaxe est très proche de Mathematica. Ce paquet contient une petite bibliothèque de fonctions mathématiques, mais sa vraie force est le langage avec lequel vous pouvez facilement écrire vos propres algorithmes de manipulation symbolique. Il possède une arithmétique de précision arbitraire.