6 applicazioni matematiche presenti nei repository ufficiali di Ubuntu 14.04 "Trusty Tahr".

• ACL2 linguaggio di programmazione con cui modellare sistemi di calcolo.
• Admesh strumento per elaborare griglie solide a triangoli.
• ApCalc calcolatrice a precisione arbitraria.  
• Aribas è un interprete interattivo adatto a aritmetiche con grandi numeri interi.
• Autoclass classificazione o clustering automatici.
• Axiom è in grado di eseguire calcoli numerici, simbolici, grafici e altre operazioni correlate.

ACL2 linguaggio di programmazione con cui modellare sistemi di calcolo.  
Scheda completa e istruzioni per il download in questa pagina
Admesh strumento per elaborare griglie solide a triangoli.

 
Scheda completa e istruzioni per il download in questa pagina 

ApCalc calcolatrice a precisione arbitraria.

Scheda completa e istruzioni per il download in questa pagina

Aribas è un interprete interattivo adatto a aritmetiche con grandi numeri interi.

Aribas è un interprete interattivo adatto a aritmetiche con grandi numeri interi e a virgola mobile a precisione multipla. La sua sintassi è simile al Pascal o Modula-2 ma contiene anche funzioni provenienti da altri linguaggi di programmazione come C, Lisp, Oberon. 

 

Scheda completa e istruzioni per il download in questa pagina

 

Autoclass classificazione o clustering automatici.

 

AutoClass risolve il problema di rilevare in modo automatico classi all'interno di dati (talvolta chiamato clustering o apprendimento non supervisionato), in contrasto con la generazione di descrizioni di classi da esempi già classificati (chiamato apprendimento supervisionato). Mira a scoprire le classi "naturali" all'interno dei dati. AutoClass è applicabile ad osservazioni di quelle cose che possono essere descritte da un insieme di attributi, senza fare riferimento ad altre cose. I valori dei dati corrispondenti ad ogni attributo sono limitati ad essere o numeri o elementi di un insieme finito di simboli. Con dati numerici deve essere fornito un errore di misurazione.  

 

Scheda completa e istruzioni per il download in questa pagina

Axiom è in grado di eseguire calcoli numerici, simbolici, grafici e altre operazioni correlate.