Topp Matte programvara För Linux

Schifra är en mycket robust, mycket optimerad, och mycket konfigurerbar Reed-Solomon felkorrigering kodbibliotek för både mjukvara och IP-kärna baserade applikationer med implementationer i C ++ och VHDL.Projektet stöder standarden, kortare och punkterade...

Command Line kalkylator "CLC" är räknaren som kan beräkna direkt på Linux-konsollen.Packa upp CLCC filen till / usr / bin du kan behöva logga in som root eller equvalent konto för att kunna komma åt den när du behöver det.Sedan är det bara skriva CLCC 67...

Visual Turing Machine projekt är ett program som låter dig skapa Turingmaskiner med ett peka och klicka-gränssnitt istället för att använda esoteriska språk.Du kan packa dina komplexa maskiner i små lådor, och sedan återanvända dem som en del av en större...

K3DSurf är ett program som genererar 3D-ytor med matematiska formler (Parameter eller stötande ekvationer).En mer avancerad version är under uppbyggnad så alla dina kommentarer är välkomna. K3DSurf programmet gjordes bara för skojs skull, för att fördriva...

calcoo är en RPN och algebraisk vetenskaplig kalkylator.Här är några viktiga inslag i...

L2P skapar PNG bilder av matematiska uttryck formaterade i LaTeX. Även om det kan konvertera en hel LaTeX-dokument, är det avsett att enkelt generera bilder från bara ett fragment av LaTeX-kod.Hämta L2P här, eller läsa dokumentationen. L2P beror på annan...

GNU polyxmass är masspektrometrisk programsvit för (bio) -polymers.GNU polyxmass har en integrerad ram masspektrometri där användarna har möjlighet att definiera helt nya polymerkemi (inom polyxdef modul), och använda dessa definitioner för att göra enkla...

Dstar Lite är en implementering C D * Lite algoritm som beskrivs i [Koenig, 2002].Det finns några mindre ändringar till denna kod för att förbättra beräkningstid och banväg. Detta är en mycket enkel mjukvara och bör ta väldigt lite tid att förstå och...

ESC / Java2 Frontend projektet tolkar Java 1.4 källkod och Java 1.5 bytekod till ett abstrakt syntaxträd som kan användas för Extended Statisk Kontroll.Extended Static Checker för Java version 2 (ESC / Java2) är ett programmeringsverktyg som försöker...

Grapher är ett forskningsprojekt som attemts att lösa problemet med plottning implicita ekvationer (dvs. i formen f (x, y) = g (x, y)). Fokus här kommer att experimentera med olika algoritmer, även om vi försöker att åstadkomma en användbar Gtk...