Debian Edu Mathematics packages

AlgoBox è uno strumento che aiuta a creare ed eseguire algoritmi, pensato per gli studenti delle scuole superiori francesi. È basato su una logica educativa (imparare tramite strutture logiche invece di ammassare righe di codice).

Cantor è un'applicazione che permette di usare le proprie applicazioni matematiche preferite dall'interno di un'elegante interfaccia a foglio di lavoro. Fornisce finestre di dialogo per assistere nelle attività comuni e permette di condividere con altri i propri fogli di lavoro.

Cantor permette l'uso di varie applicazioni matematiche come backend (forniti in pacchetti esterni):

• sistema di algebra computazionale Maxima (cantor-backend-maxima),
• progetto R per il calcolo statistico (cantor-backend-r),
• software matematico Sage (cantor-backend-sage),
• Octave (cantor-backend-octave),
• Python (cantor-backend-python3),
• Scilab (cantor-backend-scilab),
• Qalculate! (cantor-backend-qalculate),
• Lua (cantor-backend-lua).

Questo pacchetto fa parte del modulo educativo di KDE.

Basato sul progetto C.a.R. (Compass and Ruler, compasso e righello), CaRMetal include tutte, o quasi, le sue funzionalità. Propone un diverso approccio dal punto di vista dell'interfaccia grafica.

• Le costruzioni con righello e compasso possono essere modificate trascinando uno dei punti base di costruzione. La costruzione si adatta immediatamente. Lo studente può controllare la correttezza della costruzione e apprendere nuove conoscenze approfondite.
• Tracce di punti e costruzioni animate possono essere d'aiuto per capire le relazioni geometriche. Le tracce possono essere usate come nuovi oggetti da esplorare.
• Con le macro di C.a.R. diventano possibili costruzioni veramente complesse. Le macro sono anche un modo per organizzare il pensiero geometrico.
• Nascondendo i dettagli di costruzione e usando i colori, rende le costruzioni più chiare da leggere. In C.a.R. linee e circonferenze possono anche essere ridotti ai punti rilevanti.
• I calcoli aritmetici, le soluzioni numeriche, le curve e le funzioni vanno oltre le costruzioni classiche. È persino possibile costruire in 3D usando macro avanzate.
• Possono essere esplorate altre geometrie: iperbolica o ellittica.
• Creazione di script (basata su JavaScript) di figure.

Un pacchetto per riorganizzare le ramificazioni del menu al fine di ottenere una struttura facile da usare per insegnanti e studenti.

GeoGebra è un programma geometrico dinamico. È possibile creare costruzioni con punti, vettori, segmenti, linee, sezioni coniche come anche funzioni e successivamente modificarle dinamicamente. D'altra parte le equazioni e le coordinate possono essere inserite direttamente.

È fornita la gestione di molte costruzioni geometriche, come anche la gestione per molti strumenti basati sull'analisi matematica (derivate, cerchio osculatore, ...).

I file di GeoGebra possono essere esportati in molti formati differenti o come applet interattive per pagine web.

Geomview è un programma per la visualizzazione interattiva particolarmente adatto per la ricerca e l'educazione matematica. In particolare, geomview è in grado di visualizzare figure sia in spazi iperbolici che sferici, così come in spazi euclidei.

Geomview consente l'utilizzo di numerosi oggetti e punti di vista indipendenti tra loro. Fornisce un controllo interattivo per il movimento, aspetto (inclusi illuminazione, opacità e materiale), selezione a livello di oggetti, spigoli o vertici, fotografie istantanee nel formato d'immagine SGI o Renderman RIB, mentre l'aggiunta o la rimozione di oggetti è gestita tramite la manipolazione diretta via mouse, pannelli di controllo e scorciatoie da tastiera. Programmi esterni possono gestire particolari aspetti del visualizzatore (come caricare continuamente geometrie che cambiano o controllare il movimento di certi oggetti) permettendo, nel contempo, il controllo interattivo di tutto il resto.

Gnuplot è una utilità portabile da riga di comando per tracciare interattivamente grafici a partire da dati e funzioni che supporta differenti formati di uscita, includendo driver per molte stampanti, (La)TeX, (x)fig, PostScript e altri. L'output per X11 è fornito dal pacchetto gnuplot-x11.

I file di dati e le funzioni auto-definite possono essere manipolati attraverso un linguaggio interno simile al C. È in grado di effettuare smussamenti, interpolazioni di spline o interpolazioni non lineari. È in grado di lavorare con numeri complessi.

Questo metapacchetto serve per installare un gnuplot completo di funzionalità (-qt, -x11 o -nox).

Grace è uno strumento punta-e-clicca che permette all'utente di disegnare grafici X-Y. Questo programma si chiamava in precedenza Xmgr.

Alcune delle sue caratteristiche sono: scala definibile dall'utente, segni di intervallo sugli assi, etichette, simboli, stile per le linee, colori, regressione polinomiale, spline, medie mobili, DFT/FFT, correlazione incrociata e autocorrelazione, modalità non interattiva per il disegno senza supervisione, supporto per copie fisiche per PostScript, FrameMaker e svariati formati immagine.

GraphMonkey è una calcolatrice grafica basata su GTK#. Usa una semplice interfaccia per tracciare curve.

JFractionLab è un bello strumento per gli studenti di matematica che stanno imparando l'uso e il funzionamento delle frazioni.

Fornisce una raccolta di esercizi ben fatti con una rappresentazione numerica e visiva delle frazioni.

JFractionLab mostra all'utente ogni passaggio del calcolo e perciò lo aiuta a capire le frazioni.

Fornisce all'utente una risposta dopo ogni input, rendendo impossibile avere una risposta falsa.

Questo componente software contiene l'implementazione di riferimento del formato notebook di Jupyter e le API Python per lavorare con i notebook.

Questo pacchetto installa lo strumento per firma di notebook.

Jupyter Notebook è un'applicazione web che permette di creare e condividere documenti che contengono codice live, equazioni, visualizzazioni e testo esplicativo. Notebook gestisce linguaggi di programmazione multipli, condivisione e widget interattivi.

Questo pacchetto fornisce i sottocomandi "notebook", "nbextension", "serverextension" e "bundlerextension" di jupyter.

KAlgebra è una calcolatrice algebrica grafica con il supporto per grafici 3D e per il linguaggio di markup MathML.

Questo pacchetto fa parte del modulo educativo di KDE.

KBruch è uno strumento di aiuto per imparare a calcolare con le frazioni.

Questo pacchetto fa parte del modulo educativo di KDE.

Kig è un'applicazione per la costruzione geometrica interattiva, che permette agli studenti di disegnare ed esplorare figure e concetti matematici usando il computer.

Kig ammette l'uso di macro e di script in Python. Può importare ed esportare file in svariati formati, inclusi SVG, Cabri, Dr. Geo, KGeo, KSeg e XFig.

Questo pacchetto fa parte del modulo educativo di KDE.

KmPlot è un potente strumento per tracciare grafici per KDE, che può tracciare più funzioni simultaneamente e combinarle per crearne di nuove.

Gestisce funzioni cartesiane, parametriche e differenziali, come pure le funzioni in coordinate polari. I grafici sono stampati con alta precisione nelle giuste proporzioni.

KmPlot fornisce anche funzionalità numeriche e visuali, come riempimento e calcolo dell'area compresa tra il grafico e il primo asse, individuazione dei valori di minimo e massimo, cambiamento dinamico dei parametri della funzione e tracciamento di funzioni derivate e integrali.

Questo pacchetto fa parte del modulo educativo di KDE.

Un tema Jupyter Sphinx per documentazione narrativa.

Integra l'infrastruttura CSS/JavaScript di Bootstrap con varie opzioni di disposizione, menu gerarchico per la navigazione e design responsivo adatto per dispositivi mobili. È configurabile, estensibile e può usare qualsiasi numero di differenti temi CSS di Bootswatch.

Questo pacchetto contiene la versione per Python 3 del tema.

Matplotlib è una libreria per tracciamento di grafici in puro Python progettata per portare grafici di qualità adatta alla pubblicazione in Python, usando una sintassi familiare agli utenti di Matlab. È possibile accedere a tutti i comandi di disegno dell'interfaccia pylab usando un'interfaccia funzionale familiare agli utenti Matlab, oppure un'interfaccia orientata agli oggetti familiare agli utenti Python.

Rocs mira ad essere un IDE per la teoria dei grafi per aiutare i professori a mostrare i risultati di un algoritmo di grafo e anche per aiutare gli studenti a creare l'algoritmo.

Rocs ha un modulo per scripting, creato in Qt Script, che interagisce con il grafo disegnato ed ogni cambiamento al grafo con lo script viene riflesso nel grafo disegnato.

Questo pacchetto fa parte del modulo educativo di KDE.

Questo programma è un'implementazione dell'abaco originale; fornisce le versioni cinese, coreana, giapponese, romana e russa e può essere modificato per averne altre.

Questa è la versione Motif che mostra funzionalità aggiuntive. Motif è una libreria widget per interfaccia grafica per il sistema X Window.

Euler è un potente laboratorio numerico con un linguaggio di programmazione. Il sistema può gestire numeri reali, complessi ed intervalli di numeri, vettori e matrici. Può produrre grafici 2D e 3D.

Alcune delle funzionalità di Euler sono:

• reali, complessi, intervalli e matrici;
• un linguaggio di programmazione, con variabili locali, valori predefiniti per i parametri, numero variabile di parametri, passaggio di funzioni;
• grafici a due e tre dimensioni;
• grafici con marcatori;
• grafici di densità e di contorno;
• animazioni;
• integrazione e derivazione numeriche;
• funzioni e test statistici;
• equazioni differenziali;
• metodi per intervalli con inclusioni garantite;
• minimizzazione di funzioni (Brent, Nelder-Mean);
• algoritmo del simplesso;
• interpolazioni e approssimazioni;
• ricerca della radice di polinomi;
• FFT - trasformata di Fourier veloce;
• prodotto scalare esatto usando "long accumulator";
• esportazione di grafici in PostScript.

Questo pacchetto contiene il programma principale. La documentazione di Euler è inclusa nel pacchetto euler-doc.

Gretl (GNU Regression, Econometric and Time-Series Library) è un pacchetto software per l'analisi econometrica, che comprende una libreria condivisa, un programma client a riga di comando e un client grafico GTK+.

Questo pacchetto fornisce il client GTK+ e quello a riga di comando.

Kile è un editor di sorgenti LaTeX amichevole e una shell TeX per KDE.

L'editor di sorgenti è un editor multi-documento progettato per file .tex e .bib. Sono forniti menu, assistenti e auto-completamento per assistere nell'inserimento dei tag e nella generazione del codice. Una vista strutturale del documento aiuta la navigazione all'interno dei file sorgenti.

La shell TeX integra i vari strumenti TeX necessari all'elaborazione. Aiuta nella compilazione di LaTeX, nella visualizzazione di documenti DVI e postscript, nella generazione di bibliografie e indici e altre operazioni comuni.

Kile può supportare grandi progetti formati da svariati file più piccoli.

Mathomatic implementa la maggior parte delle regole dell'algebra per gli operatori matematici +, -, *, /, % (modulo) ed elevamenti a potenza (incluse estrazioni di radice).

Mathomatic può, con l'uso di simboli:

• combinare e risolvere equazioni;
• semplificare completamente e paragonare espressioni ed equazioni;
• eseguire semplici trasformazioni e serie algebriche;
• eseguire calcoli aritmetici standard, con numeri complessi, moduli e polinomi;
• generare codice ottimizzato in C, Java e Python a partire da equazioni semplificate;
• disegnare espressioni con gnuplot in due o tre dimensioni;
• eseguire calcoli veloci, colorare espressioni, ecc.

Octave è un linguaggio di alto livello (per la maggior parte compatibile con Matlab®) orientato principalmente al calcolo numerico. Fornisce una comoda interfaccia a riga di comando per risolvere numericamente problemi lineari e non.

Octave può essere esteso dinamicamente con file C++ forniti dall'utente.

PARI/GP è un sistema di calcolo algebrico molto usato e progettato per fare velocemente calcoli relativi alla teoria dei numeri (fattorizzazioni, teoria dei numeri algebrica, curve ellittiche, ...), ma contiene anche un gran numero di altre utili funzioni per fare calcoli con entità matematiche quali matrici, polinomi, serie di potenze, numeri algebrici, ecc., e molte funzioni trascendenti. PARI è disponibile anche come libreria C per fare calcoli ancora più velocemente.

Originalmente era sviluppato da Henri Cohen e dai suoi colleghi (Università Bordeaux I, Francia), adesso PARI è sotto GPL ed è manutenuto da Karim Belabas con l'aiuto di molti volontari.

Questo pacchetto contiene la calcolatrice GP.

Questo pacchetto fornisce una semplice interfaccia utente grafica, basata sull'interfaccia GNU Tcl/Tk, che è adatta per l'insegnamento introduttivo alla statistica.

RKWard mira a diventare un frontend facile da usare e trasparente per R, un potente sistema per calcoli e grafici statistici. Oltre ad una interfaccia grafica comoda per le funzioni statistiche più importanti, le versioni future forniranno anche un'integrazione perfetta con una suite software per l'ufficio.

Scilab è un pacchetto software scientifico basato su matrici. Scilab contiene centinaia di funzioni matematiche incorporate, ricche strutture di dati (inclusi polinomi, razionali, sistemi lineari, elenchi, ecc.) e viene fornito con diversi toolbox specifici per controlli, elaborazione di segnali, ...

Questo pacchetto fornisce anche Xcos, un editor grafico per progettare modelli di sistemi ibrido-dinamici. I modelli possono essere progettati, caricati, salvati, compilati e simulati. Soluzione stabile ed efficiente per necessità industriali e accademiche, Xcos fornisce funzionalità per la modellazione di sistemi meccanici (automobilistici, aeronautici, ...), circuiti idraulici (dighe, modelli di tubazioni, ...), sistemi di controllo, ecc. Sono anche fornite funzionalità di Modelica.

Installare il pacchetto "scilab-cli" per avere una versione minima di scilab.

wxMaxima è un'interfaccia utente grafica per il sistema di algebra computazionale Maxima. Facilita l'uso di Maxima rendendo disponibile la maggior parte dei suoi comandi attraverso un sistema di menu e fornendo dialoghi di input per i comandi che richiedono più di un argomento. Implementa anche un proprio motore di visualizzazione che visualizza direttamente i simboli matematici invece di disegnarli con caratteri ASCII.

wxMaxima ha inoltre grafici in-linea 2D e 3D, semplici animazioni, uso congiunto di testo e calcoli matematici per creare documenti, esportazione di input e output in TeX e un navigatore per il manuale di Maxima compreso l'indice dei comandi e con ricerca in tutto il testo.

XaoS è uno strumento interattivo per fare lo zoom e scorrere frattali in tempo reale. Può visualizzare frattali animati in modalità grafica e anche testuale.

Visualizza l'insieme di Mandelbrot o molti altri frattali e permette di fare uno zoom fluido all'interno di essi. Sono fornite diverse modalità di colorazione dei punti sia all'interno che all'esterno del frattale selezionato. In più è fornita la possibilità di passare da frattali di Mandelbrot a frattali di Julia.

Tra le altre funzionalità sono inclusi il pilota automatico, cambiamenti alla tavolozza dei colori, salvataggio delle immagini, inversione dei frattali, filtri ed una guida ai frattali incorporata.

Yacas è un linguaggio per algebra al computer piccolo e altamente flessibile.

La sintassi è molto simile a quella di Mathematica. La distribuzione contiene una piccola libreria di funzioni matematiche, ma la sua vera forza è il linguaggio con il quale si possono facilmente scrivere i propri algoritmi di manipolazione simbolica. Gestisce l'aritmetica a precisione arbitraria.