Tutto il software presente nella prossima versione di Ubuntu 10.10 Karmic Koala relativo alla Categoria Applicazioni Matematiche.Come al solito una recensione, sceheda tecnica e istruzioni per il download di ogni programma.
Dai più conosciuti come Acl2, Alt Ergo, Axiom e Cantor (senza tralasciare il popolare Gnumeric) ad altri semplici tools come Cogides, Eukleide e Grinvin
In ordine alfabetico da acl2 a gsl.
ACL2 linguaggio di programmazione con cui modellare sistemi di
calcolo.
Questo file contiene i record di certificazione per le varie librerie precompilate contenute nel pacchetto ACL2-books. ACL2 essenzialmente necessita che tutti i libri inclusi siano certificati prima di essere usati.
Scheda completa e istruzioni per il download in questa pagina
Admesh strumento per elaborare griglie solide a triangoli.
Attualmente ADMesh legge solo il formato file STL che è usato in applicazioni per prototipazione veloce, benché possa scrivere file STL, VRML, OFF e DXF. Alcune delle caratteristiche di ADMesh sono: riempie buchi nella griglia aggiungendo facce; ripara le facce unendo quelle contigue; ripara le direzioni normali (cioè le facce dovrebbero essere in senso antiorario); rimuove facce degenerate (cioè facce con due o più vertici uguali).
Scheda completa e istruzioni per il download in questa pagina
- ApCalc calcolatrice a precisione arbitraria.
Calc è costruito sopra la libreria libcalc che rappresenta i valori numerici come frazioni ridotte ai minimi termini. Questa libreria può anche essere usata per aggiungere capacità di precisione arbitraria ai propri programmi ed è disponibile in Debian come pacchetto "apcalc-dev".
Il nome d'origine di questo pacchetto è "calc", ma si è dovuto cambiarlo in "apcalc" per Debian in quanto c'è già un altro pacchetto chiamato "calc". Ciononostante i binari e le pagine man installate da questo pacchetto si chiamano ancora "calc"
- 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.
Axiom è utile per la ricerca e lo sviluppo di algoritmi matematici.
Definisce una gerarchia di tipi, rigorosa e matematicamente corretta. Ha un
linguaggio di programmazione ed un compilatore incorporato.
Axiom è stato sviluppato sin dal 1973 ed è stato venduto come prodotto commerciale. È stato rilasciato come software libero.
Sono in corso sforzi per estendere questo software per (a) sviluppare un'interfaccia utente migliore; (b) renderlo utile come strumento di insegnamento; (c) sviluppare un protocollo server per l'algebra; (d) integrare matematica aggiuntiva; (e) ricostruire l'algebra in uno stile di programmazione documentato; (f) integrare la programmazione logica; (g) sviluppare un Axiom Journal con contributi referenziati.
Questo pacchetto contiene il programma eseguibile principale e tutti i moduli di algebra precompilati e autocaricabili.
Axiom è stato sviluppato sin dal 1973 ed è stato venduto come prodotto commerciale. È stato rilasciato come software libero.
Sono in corso sforzi per estendere questo software per (a) sviluppare un'interfaccia utente migliore; (b) renderlo utile come strumento di insegnamento; (c) sviluppare un protocollo server per l'algebra; (d) integrare matematica aggiuntiva; (e) ricostruire l'algebra in uno stile di programmazione documentato; (f) integrare la programmazione logica; (g) sviluppare un Axiom Journal con contributi referenziati.
Questo pacchetto contiene il programma eseguibile principale e tutti i moduli di algebra precompilati e autocaricabili.
- Il BLACS (Algebra Lineare Comunicazione sottoprogrammi base) è un progetto in corso il cui scopo è quello di creare un messaggio di algebra lineare orientata passando un'interfaccia che può essere implementata in modo efficiente e uniforme su una vasta gamma di piattaforme a memoria distribuita. La lunghezza del tempo necessario per implementare algoritmi di memoria distribuita lo rende poco efficiente.
- Scheda completa e istruzioni per il download in questa pagina
- Bugsx a program to display and evolve biomorphs.
- Bugsx gira sotto sistema a finestre X11 del MIT. E 'stato scritto sotto UNIX, ma dovrebbe essere facilmente trasportabile. Si tratta di un programma che disegna le Biomorfi basati su trame parametrici di Fourier seno e coseno serie e ti permette di giocare con loro utilizzando l'algoritmo genetico.
Per ulteriori informazioni su gli sfondi teorici di bugsx consultare l'articolo di Joshua R. Smith distribuito con questo programma in formato PostScript gzip come bugs.ps.gz. È necessario decomprimere il file con 'gunzip' prima di stamparlo.
- Scheda completa e istruzioni per il download in questa pagina
Cadabra is a computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory.
Cadabra è un sistema di algebra computazionale progettato specificamente per
la soluzione di problemi che si incontrano nella teoria dei campi.
- Ha molte funzionalità per la semplificazione polinomiale di tensori tra le quali simmetrie multi-termine, fermioni e variabili anti-commutative, algebre di Clifford e trasformazioni di Fierz, dipendenza da coordinate implicite, tipi ad indici multipli e molto altro.
- Il formato di input è un sottoinsieme di TeX.
- Scheda completa e istruzioni per il download in questa pagina
- Cantor interfaccia grafica per software matematici presente nei repository di Ubuntu.
-
- Cantor è un'interfaccia ti mette a disposizione i migliori software matematici per Ubuntu.
Per installarlo in Ubuntu andate in:
Applicazioni-Accessori-Terminale
e digitate:
sudo apt-get install cantor
Oppure recatevi in Ubuntu Software Center, cercate la voce "cantor" -senza virgolette, e una volta trovata cliccateci sopra.L'installazione partirà subito con tutte le dipendeze e librerie richieste.
- Scheda completa e istruzioni per il download in questa pagina
- CarMetal è un programma di geometrie che ti permette di sperimentare con forme e linee.
CarMetal è un programma di geometrie che ti permette di sperimentare con forme e linee. Hai a tua disposizione potenti algoritmi e strumenti per gestire gli oggetti geometrici e le relazioni tra di essi: questo consente di realizzare costruzioni geometriche anche molto complesse.
Uno dei punti di forza di CarMetal è la sua intefaccia creata da insegnanti di Matematica per rendere veramente immediata e piacevole l'interazione tra l'utente e gli elementi geometrici.
- Scheda completa e istruzioni per il download in questa pagina
- Circlepack programma per la creazione e visualizzazione di impacchettamenti di cerchi.
- CirclePack è un programma C per la creazione, la visualizzazione, la manipolazione e l'archiviazione di impacchettamenti di cerchi usando il sistema X Window. I calcoli possono essere fatti in geometria iperbolica, euclidea o sferica, benché le funzioni per l'ultima non siano ancora complete. Per la teoria alla base del pacchetto, consultare la letteratura scientifica. Uno degli interessi principali dell'autore riguarda il parallelo tra la teoria in fase di sviluppo degli impacchettamenti dei cerchi e la teoria classica delle funzioni analitiche.
- Scheda completa e istruzioni per il download in questa pagina
Concalc è una calcolatrice per la console Linux.
Concalc è una calcolatrice per la console Linux. Dovrebbe funzionare anche su tutti gli altri sistemi unix. Concalc è solo il parser algoritmo di extcalc confezionato in un programma di console semplice. Si può usare se avete bisogno di una calcolatrice nella shell.
Questa documentazione si riferisce a Concalc versione 0.9.2.
Installazione.
1. Decomprimere il pacchetto: "tar-xzf concalc-0.9.2.tar.gz"
2. Cambiare directory: "cd concalc-0.9.2"
3. Configure Run: "/ configure".
4. Compilare il programma: "fare"
5. Diventa root: "su"
6. Installare i file: "make install"
Questa documentazione si riferisce a Concalc versione 0.9.2.
Installazione.
1. Decomprimere il pacchetto: "tar-xzf concalc-0.9.2.tar.gz"
2. Cambiare directory: "cd concalc-0.9.2"
3. Configure Run: "/ configure".
4. Compilare il programma: "fare"
5. Diventa root: "su"
6. Installare i file: "make install"
Scheda completa e istruzioni per il download in questa pagina
COQ è un assistente di prova per un quadro logico noto come Calcolo delle induttivi Costruzioni.
Coq
implementa uno specifico programma matematico di lingua di livello
superiore chiamato Gallina che si basa su un linguaggio formale
espressivo chiamato Calcolo delle induttivi costruzioni che si combina
sia una logica di ordine superiore e un linguaggio di programmazione
funzionale, riccamente digitato .
Attraverso un linguaggio volgare di comandi , Coq permette di:
definire funzioni o predicati , che può essere valutata in modo efficiente ;
affermare teoremi matematici e specifiche del software ;
di sviluppare in modo interattivo prove formali di questi teoremi ;
di macchina controllare queste prove da una certificazione relativamente piccolo "kernel" ;
per estrarre programmi certificati a linguaggi come Objective Caml , Haskell o Scheme.
affermare teoremi matematici e specifiche del software ;
di sviluppare in modo interattivo prove formali di questi teoremi ;
di macchina controllare queste prove da una certificazione relativamente piccolo "kernel" ;
per estrarre programmi certificati a linguaggi come Objective Caml , Haskell o Scheme.
Scheda completa e istruzioni per il download in questa pagina
CUC ³ copre una gamma eccezionalmente ampia di argomenti in chimica teorica e quantistica .
La
ricerca teorica e modellazione effettuato presso CUC ³ sviluppa una
gamma eccezionalmente ampia di argomenti in chimica teorica e
quantistica , fisica della materia condensata , scienza delle superfici e
meccanica statistica dei sistemi complessi e disordinati , tra cui
aggregati macromolecolari .
Gli
strumenti teorici comprendono la teoria quantistica e la teoria del
funzionale della densità ( DFT) della struttura elettronica , classica
DFT di fluidi non omogenei , meccanica statistica , e una varietà di
metodi di simulazione , tra cui Monte Carlo , Dinamica Molecolare ( MD) ,
e ab initio MD , nonché algoritmi di ottimizzazione globale per l'esplorazione delle superfici di energia multi- dimensionali.
- Scheda completa e istruzioni per il download in questa pagina
- Dicelab è uno strumento per calcolare la distribuzione di probabilità.
-
- Dicelab è uno strumento per calcolare la distribuzione di probabilità. Ma può essere anche utilizzato per analizzare i giochi di disegno, ed in altre situazioni.
Assumendo un gioco immaginario tavolo di ruolo utilizza il seguente schema per determinare il successo o il fallimento: il giocatore tira i dadi N (determinato dalla sua abilità), e scarta tutte le più basse N-2 dadi. - Scheda completa e istruzioni per il download in questa pagina
- dolfin-bin (0.9.8-3build1) [universe]
- Executable scripts for DOLFIN
- drgeo (1.1.0-6) [universe]
- An interactive geometry software
- dynare (4.1.1-2) [universe]
- suite for non-linear models with forward looking variables
- dynare-common (4.1.1-2) [universe]
- platform independent files for Dynare
- dynare-matlab (4.1.1-2) [multiverse]
- MEX files for MATLAB users of Dynare
- edenmath.app (1.1.1a-7build2) [universe]
- Scientific calculator for GNUstep
- ess (5.10-1) [universe]
- Emacs mode for statistical programming and data analysis
- eukleides (1.5.3-1) [universe]
- Euclidean geometry drawing language
- euler (1.61.0-8) [universe]
- interactive mathematical programming environment
- euler-doc (1.61.0-8) [universe]
- documentation for the mathematical programming environment Euler
- evolver (2.30c-1) [universe]
- Surface Evolver
- extcalc (0.9.2-1) [universe]
- multifunctional scientific graphic calculator
- fenics (10.06-2) [universe]
- automation of computational mathematical modeling
- formed (3.3f-1) [universe]
- formula editor for first-order logic formulae
- frama-c (20100401+boron+dfsg-4) [universe]
- Framework for source code analysis of software written in C
- freefem (3.5.8-4.2) [universe]
- A PDE oriented language using Finite Element Method
- freefem-examples (3.5.8-4.2) [universe]
- Example files for FreeFEM
- freefem3d (1.0pre10-2.1) [universe]
- A language and solver for partial differential equations in 3D
- freemat (4.0-3) [universe]
- mathematics framework (mostly matlab compatible)
- freemat-data (4.0-3) [universe]
- freemat data files
- freemat-help (4.0-3) [universe]
- freemat help files
- galculator (1.3.4-1ubuntu2) [universe]
- A GTK+ 2.0 based calculator
- galculator-hildon (1.3.4-1ubuntu2) [universe]
- A GTK+ 2.0 based calculator for Hildon-based systems
- gambit (0.2006.01.20-3) [universe]
- Game theory analysis software and tools
- gambit-doc (0.97.0-1) [universe]
- documentation for gambit
- gap (4r4p12-1) [universe]
- Groups, Algorithms and Programming computer algebra system
- gap-character-tables (1r1p3-5) [universe]
- GAP Library of character tables
- gap-core (4r4p12-1) [universe]
- GAP computer algebra system, core components
- gap-guava (3.6-2) [universe]
- Coding theory library for GAP
- gap-libs (4r4p12-1) [universe]
- GAP computer algebra system, essential GAP libraries
- gap-online-help (4r4p12-1) [universe]
- GAP computer algebra system, online help
- gap-prim-groups (4r4p10-1) [universe]
- Database of primitive groups for GAP
- gap-small-groups (4r4p10-1) [universe]
- Database of small groups for GAP
- gap-small-groups-extra (4r4p10-1) [universe]
- Large database of small groups for GAP
- gap-table-of-marks (1r1p4-1) [universe]
- GAP table of marks library
- gap-trans-groups (4r4p10-1) [universe]
- Database of transitive groups for GAP
- gbase (0.5-2.2) [universe]
- small numeric base converter
- gcalctool (5.32.0-0ubuntu1)
- GNOME desktop calculator
- genus2reduction (0.3-2) [universe]
- Conductor and Reduction Types for Genus 2 Curves
- geomview (1.9.4-2) [universe]
- interactive geometry viewing program
- gerris (20091109-dfsg.1-2) [universe]
- Gerris Flow Solver
- gfan (0.3dfsg-1) [universe]
- Program for computing with Groebner fans
- gfm (1.03-2build1) [universe]
- Texas Instruments hand-helds file manipulation program for X
- ggobi (2.1.9~20091212-3) [universe]
- Data visualization system for high-dimensional data
- ginac-tools (1.5.8-1) [universe]
- Some tools for the GiNaC symbolic framework
- gliese (3.0.95-2) [multiverse]
- stellar data set from the Third Catalogue of Nearby Stars
- glpk (4.43-1) [universe]
- linear programming kit
- glpk-utils (4.43-1) [universe]
- linear programming kit - utility files
- gmp-ecm (6.2-1) [universe]
- Factor integers using the Elliptic Curve Method
- gmsh (2.4.2.dfsg-3) [universe]
- three-dimensional finite element mesh generator
- gnumeric (1.10.8-1ubuntu1) [universe]
- spreadsheet application for GNOME - main program
- gnumeric-common (1.10.8-1ubuntu1) [universe]
- spreadsheet application for GNOME - common files
- gnumeric-plugins-extra (1.10.8-1ubuntu1) [universe]
- spreadsheet application for GNOME - additional plugins
- gnuplot (4.4.0-1) [universe]
- A command-line driven interactive plotting program
- gnuplot-mode (1:0.6.0-5) [universe]
- Yet another Gnuplot mode for Emacs
- gnuplot-nox (4.4.0-1) [universe]
- A command-line driven interactive plotting program
- gnuplot-x11 (4.4.0-1) [universe]
- A command-line driven interactive plotting program
- grace (1:5.1.22-8build1) [universe]
- An XY plotting tool
- graphmonkey (1.7-2) [universe]
- a GTK#-based graphing calculator
- graphthing (1.3.2-3) [universe]
- tool to create, manipulate and study graphs
- gretl (1.9.0-1build1) [universe]
- The GNU Regression, Econometric & Time-Series Library
- gretl-common (1.9.0-1build1) [universe]
- The GNU Regression, Econometric & Time-Series Library -- scripts package
- gretl-data (1.9.0-1build1) [universe]
- The GNU Regression, Econometric & Time-Series Library -- data package
- gretl-doc (1.9.0-1build1) [universe]
- The GNU Regression, Econometric & Time-Series Library -- doc package
- grinvin (1.2-1) [multiverse]
- interactive software for studying graphs and their invariants
- grpn (1.1.2-3) [universe]
- GTK+ reverse polish notation calculator
- gsl-bin (1.14+dfsg-1) [universe]
- GNU Scientific Library (GSL) -- binary package
- gsl-ref-html (1.14-1) [universe]
- GNU Scientific Library (GSL) Reference Manual in html
- gsl-ref-psdoc (1.14-1) [universe]
- GNU Scientific Library (GSL) Reference Manual in postscript
Se ti è piaciuto l'articolo , iscriviti al feed cliccando
sull'immagine sottostante per tenerti sempre aggiornato sui nuovi
contenuti del blog:
