Top Matematik software Til Linux

Schifra er en meget robust, stærkt optimeret, og ekstremt konfigurerbar Reed-Solomon fejlkorrigerende kode bibliotek for både software og IP core baserede applikationer med implementeringer i C ++ og VHDL.Projektet understøtter standard, forkortet og...

Command Line regnemaskine "CLC" er den regnemaskine, der kan beregne direkte på Linux-konsollen.Udpakke CLCC filen til / usr / bin, du måske nødt til at logge ind som root eller equvalent konto, for at kunne få adgang til det, når du har brug for det.Så...

Visual Turing Machine-projektet er et program, der lader dig oprette Turing-maskiner med en peg og klik-interface i stedet for at bruge esoteriske sprog.Du kan pakke dine komplekse maskiner i små kasser, og derefter genbruge dem som en del af en større...

K3DSurf er et program, der genererer 3D-overflader med Matematiske formler (Parameter eller eksplicitte ligninger).En mere avanceret udgave er under opførelse, så alle dine kommentarer er velkomne. K3DSurf program blev lavet bare for sjov, at passere tid...

Calcoo er en RPN og algebraisk videnskabelige lommeregner.Her er nogle vigtige funktioner i...

L2P skaber PNG billeder af matematiske udtryk formateret i LaTeX. Mens det kan konvertere en hel LaTeX dokument, er det designet til nemt at generere billeder fra kun et fragment af LaTeX kode.Hent L2P her, eller læs dokumentationen. L2P afhænger anden...

GNU polyxmass er suite massespektrometrisk software til (bio) -polymers.GNU polyxmass har en integreret massespektrometri rammer, hvor brugerne er i stand til at definere helt nye polymer kemi (inden for den polyxdef modul), og bruge disse definitioner...

Dstar Lite er en C-implementering af D * Lite algoritme som forklaret i [Koenig 2002].Der er et par mindre ændringer denne kode for at forbedre beregningstiden og sti afstand. Dette er en meget simpel stykke software og bør tage meget lidt tid til at...

ESC / Java2 Frontend projekt parser Java 1.4 kildekode og Java 1.5 bytekode ind i en abstrakt Syntax Tree, der kan bruges til Extended Statisk Kontrol.Den udvidede Static Checker for Java version 2 (ESC / Java2) er et programmeringsværktøj, der forsøger...

Grapher er et forskningsprojekt, der attemts at løse problemet med graftegning implicitte ligninger (dvs. i form f (x, y) = g (x, y)). Hovedfokus her vil eksperimentere med forskellige algoritmer, selvom vi forsøger at give en brugbar Gtk interface.Hvad...