Top Software per la matematica Per Linux
Schifra è un errore di correzione libreria di codice Reed-Solomon molto robusta, altamente ottimizzato, ed estremamente configurabile per software e applicazioni core basate su IP con le implementazioni in C ++ e VHDL.Il progetto supporta lo standard,...
calcolatrice Command Line "CLC" è la calcolatrice in grado di calcolare direttamente dalla console di Linux.Estrarre il file CLCC a / usr / bin potrebbe essere necessario effettuare il login come root o conto equvalent, per essere in grado di accedervi...
progetto di Visual Macchina di Turing è un programma che consente di creare macchine di Turing con un interfaccia punta e clicca invece di utilizzare linguaggi esoterici.Potete imballare le vostre macchine complesse in piccole casse, e poi riutilizzarle...
K3DSurf è un programma che genera le superfici 3D con formule matematiche (parametro o equazioni esplicite).Una versione più avanzata è in costruzione in modo che tutti i vostri commenti sono benvenuti. Programma K3DSurf è stato fatto solo per...
Calcoo è una calcolatrice scientifica RPN e algebrica.Qui sono alcune caratteristiche chiave di...
L2P crea immagini PNG di espressioni matematiche formattati in LaTeX. Mentre può convertire un documento complesso LaTeX, è progettato per generare facilmente le immagini da solo un frammento di codice LaTeX.Scarica L2P qui, o leggere la documentazione....
polyxmass GNU è la suite software di spettrometria di massa per (bio) polimeri.Polyxmass GNU dispone di un quadro integrato di spettrometria di massa in cui gli utenti sono in grado di definire nuovissimi chimiche polimeriche (all'interno del modulo...
DSTAR Lite è un'implementazione C dell'algoritmo D * Lite, come spiegato in [Koenig, 2002].Ci sono un paio di piccole modifiche a questo codice per migliorare i tempi di calcolo e la distanza del percorso. Si tratta di un semplice pezzo di...
ESC progetto / Java2 Frontend analizza codice Java 1.4 sorgente e bytecode Java 1.5 in un albero di sintassi astratta che può essere utilizzato per esteso Controllo statico.Il statico Checker estesa per Java versione 2 (ESC / Java2) è uno strumento di...
Grapher è un progetto di ricerca che attemts per risolvere il problema della rappresentazione grafica equazioni implicite (cioè nella forma f (x, y) = g (x, y)). L'obiettivo principale in questo campo verrà sperimentazione di algoritmi diversi, anche...