16 applicazioni matematiche per Ubuntu.

HOL (Higher Order Logic) ambiente per la dimostrazione interattiva di teoremi in una logica di ordine.


 Sistemi di questa famiglia seguono l'approccio LCF di come sono implementate come una biblioteca in qualche linguaggio di programmazione. Questa libreria implementa un tipo di dato astratto di teoremi provati in modo che i nuovi oggetti di questo tipo possono essere creati solo utilizzando le funzioni della libreria che corrispondono alle regole di inferenza in logica di ordine superiore.Fino a quando queste funzioni sono implementate correttamente, tutti i teoremi dimostrati nel sistema devono essere validi.In questo modo, un sistema di grandi dimensioni può essere costruito in cima ad una piccola fidato kernel.
Scheda completa con istruzioni per il download e l'installazione 

 JAGS programma per l'analisi dei modelli gerarchici bayesiani.

Just Another Gibbs Sampler (JAGS) è i un programma per l'analisi dei modelli gerarchici bayesiani utilizzando Markov Chain Monte Carlo (MCMC). JAGS è stato scritto con tre obiettivi in mente: per avere un motore per la lingua BUGS che gira su Unix per essere estensibile, che consente agli utenti di scrivere le proprie funzioni, distribuzioni e campionatori. Per essere un plaftorm per la sperimentazione di idee in modellistica bayesiana

Scheda completa con istruzioni per il download e l'installazione

 

 Jfractionlab applicazione libera per lo studio di funzioni matematiche.

 JFractionLab, è un calcolatore progettato per aiutare a risolvere i vostri calcoli quando si tratta di frazioni.

JFractionLab consente di eseguire calcoli con le frazioni e comprenderli. Ti dà un feedback grafico, in modo da poter vedere cosa si sta facendo.

Il programma è disponibile in diverse lingue, tra cui tedesco, francese, spagnolo, inglese e italiano.

 

Scheda completa con istruzioni per il download e l'installazione

Jgraph è un programma che serve a tracciare grafici e diagrammi strutturati. Diversamente da altri strumenti per il disegno, Jgraph è un programma non interattivo: legge un file di input (il sorgente) e produce un file di output (la presentazione) in formato PostScript oppure EPS. L'output può in seguito essere quindi visualizzato, stampato, incorporato in un altro file per ulteriori elaborazioni oppure convertito in altri formati. Inoltre, si noti che Alml (il sistema di composizione SGML di Daniele Giacomini) offre supporto - a partire da gennaio 2006 - per il linguaggio Jgraph.

Scheda completa con istruzioni per il download e l'installazione

Kayali sistema basato su Qt Computer Algebra (CAS)

Kayali è un sistema basato su Qt Computer Algebra (CAS), che può anche essere usato come un sostituto avanzato per KDE KCalc. Si tratta essenzialmente di una GUI front-end per Maxima (ed è facilmente estesa ad altri CAS di back-end) e Gnuplot. 

Scheda completa con istruzioni per il download e l'installazione

Kbruch piccolo programma per fare pratica nel calcolo con frazioni e percentuali.

KBruch

• Aritmetico - in questo esercizio devi risolvere un esercizio con frazioni date. Devi inserire il  numeratore e il denominatore. Questo è l'esercizio principale. 
• Confronto - in questo esercizio devi confrontare la dimensione di 2 frazioni date, usando i simboli >, < o =. 
• Conversione - in questo esercizio devi convertire un numero dato in frazione. 
• Numero misto - in questo esercizio devi convertire un numero misto in frazione impropria e viceversa. 
• Fattorizzazione - in questo esercizio devi ridurre un numero dato nei suoi fattori primi. 
• Percentuali - in questo esercizio devi calcolare percentuali.

Scheda completa con istruzioni per il download e l'installazione 

Kitsune quiz a cifre di un famoso gioco televisivo.

Kitsune è un software che mira a risolvere il quiz a cifre di un famoso gioco televisivo. Esso consente un problema da risolvere a vostra scelta, o per allenarsi con i problemi casuali. 

Di fronte a un problema, Kitsune troverà tutte le diverse soluzioni, cercando di non mettere risultati confrontabili (quelli che sembrano identici per un giocatore umano): se il problema è risolvibile, questo software vi mostrerà tutti i modi per raggiungere l'obiettivo. 

Scheda completa con istruzioni per il download e l'installazione 

 KmPlot disegnatore di funzioni matematiche per l'ambiente desktop KDE

KmPlot è un'applicazione libera per lo studio di funzioni matematiche per KDE.
KmPlot permette di tracciare:

• funzioni in senso stretto (ad esempio f(x) = x^2 - 2), anche in forma parametrica (come f(x) = \sin a x - 1/3) fino ad un massimo di quattro parametri. Per ogni funzione di questo tipo è possibile tracciare il grafico anche delle derivate prime e seconde e della funzione integrale.

Scheda completa con istruzioni per il download e l'installazione

 

Kseg programma di geometria interattiva per l'esplorazione della geometria euclidea.

KSEG

Scheda completa con istruzioni per il download e l'installazione

 

Lybniz permette di tracciare fino a tre funzioni in un unico grafico.

Il Progetto Lybniz non è altra cosa chè un semplice plotter con funzione grafica in Python per GTK. 

Lybniz permette di tracciare fino a tre funzioni in un unico grafico. Non ha bisogno di installazione - semplicemente uno script Python. 

Uso Lybniz: 

Inserisci funzioni nella sintassi Python con x come variabile dipendente. Premere il tasto Plot per visualizzare il grafico. Costanti e funzioni del modulo matematico sono disponibili. 

Scheda completa con istruzioni per il download e l'installazione

 

Mathomatic software gratuito per lo studio della matematica rilasciato sotto licenza GNU LGPL.

 

 

Mathomatic è un CAS (Computer Algebra System) realizzato completamente in linguaggio C.
E’ un programma di ausilio allo risoluzioni dei problemi di algebra, in particolare con questo programma è possibile:

• Risolvere, semplificare, uguagliare equazioni algebriche;

• Realizzare trasformazioni dei calcoli;

• Condurre in maniera facilitata il calcolo delle serie numeriche;