Topp Matematikk-programvare For Linux

Schifra er en veldig robust, svært optimalisert, og svært konfigurerbar Reed-Solomon feilkorrigerende kode bibliotek for både programvare og IP kjerne baserte applikasjoner med implementeringer i C ++ og VHDL.Prosjektet støtter standard, forkortet, og...

Command Line kalkulator "CLC" er kalkulatoren som kan beregne direkte på Linux-konsollen.Pakk ut CLCC filen til / usr / bin kanskje du trenger å logge inn som root eller equvalent konto, for å kunne få tilgang til det når du trenger det.Så bare skrive...

Visual Turing Machine prosjektet er et program som lar deg lage Turing maskiner med et pek og klikk-grensesnitt i stedet for å bruke esoteriske språk.Du kan pakke komplekse maskiner i små bokser, og deretter bruke dem som en del av en større maskin. VTM...

K3DSurf er et program som genererer 3D-overflater med matematiske formler (Parameter eller eksplisitte ligninger).En mer avansert versjon er under bygging, så alle kommentarer er velkomne. K3DSurf programmet ble laget bare for moro skyld, å passere tid og...

Calcoo er en RPN og algebraisk vitenskapelig kalkulator.Her er noen viktige trekk ved...

L2P skaper PNG-bilder av matematiske uttrykk formatert i LaTeX. Selv om det kan konvertere en hel LaTeX dokument, er det designet for å enkelt generere bilder fra bare et fragment av LaTeX-kode.Last ned L2P her, eller lese dokumentasjonen. L2P avhenger av...

GNU polyxmass er massespektrometrisk programvarepakke for (bio) -polymers.GNU polyxmass har en integrert massespektrometri rammeverk der brukerne er i stand til å definere helt nye polymerkjemi (innenfor polyxdef modul), og bruke disse definisjonene for å...

Dstar Lite er en C gjennomføring av D * Lite algoritmen som er beskrevet under [Koenig, 2002].Det er noen mindre modifikasjoner til denne koden for å forbedre beregningstiden og veistrekningen. Dette er en meget enkel software og bør ta svært liten tid...

ESC / Java2 Frontend prosjektet analyserer Java 1.4 kildekode og Java 1.5 Bytecode inn en Abstract Syntax treet som kan brukes for Extended Statisk Kontroll.Utvidet Statisk Checker for Java versjon 2 (ESC / Java2) er et programmeringsverktøy som forsøker...

Grapher er et forskningsprosjekt som attemts å løse problemet med grafer implisitte ligninger (dvs. i form f (x, y) = g (x, y)). Hovedfokus her blir å eksperimentere med forskjellige algoritmer, selv om vi forsøke å gi en brukbar Gtk-grensesnitt.Hva er...