Top Mathematik-Software Für Linux
Schifra ist eine sehr robuste, hochoptimierte und äußerst konfigurierbar Reed-Solomon-Fehlerkorrekturcode-Bibliothek sowohl für Software und IP-Core-basierten Anwendungen mit Implementierungen in C ++ und VHDL.Das Projekt unterstützt Standard, verkürzt...
Command Line Rechner "CLC" ist der Rechner, auf dem Linux-Konsole zu berechnen Direkt können.Entpacken Sie die Datei in CLCC / usr / bin müssen Sie möglicherweise als root oder equvalent Konto einloggen, um darauf zugreifen, wann immer Sie es...
Visuelle Turing-Maschine-Projekt ist ein Programm, das Sie Turing-Maschinen statt zu erstellen mit einem Punkt und klicken Schnittstelle mit esoterischen Sprachen können.Sie können Ihre komplexen Maschinen in kleinen Kisten zu packen und dann...
K3DSurf ist ein Programm, die 3D-Oberflächen mit mathematischen Formeln (Parameter oder explizite Gleichungen) zu erzeugen.Eine erweiterte Version ist noch im Aufbau, so dass alle Ihre Kommentare sind willkommen. K3DSurf Programm wurde nur zum Spaß...
Calcoo ist ein RPN und algebraischer wissenschaftlicher Taschenrechner.Hier sind einige der wichtigsten Features von...
L2P schafft PNG-Bilder von mathematischen Ausdrücken im LaTeX formatiert. Während es eine ganze LaTeX-Dokument zu konvertieren, wird entwickelt, um einfach Bilder von nur einem Fragment von LaTeX-Code zu generieren.L2p hier herunterladen, oder lesen Sie...
GNU polyxmass ist massenspektrometrischen Software-Suite für (bio) -polymere.GNU polyxmass verfügt über einen integrierten Massenspektrometrie Rahmen, in dem Benutzer in der Lage, um neue Polymerchemie (im polyxdef Modul) komplexe Simulationen der...
Dstar Lite ist eine C Implementierung des D * Lite Algorithmus wie in [Koenig, 2002] beschrieben.Es gibt ein paar kleinere Änderungen an diesem Code, um Rechenzeit und Wegstrecke zu verbessern. Dies ist eine sehr einfache Software und sollte sehr wenig...
ESC / Java2 Frontend-Projekt analysiert Java 1.4 Source-Code und Java 1.5-Bytecode in eine abstrakte Syntaxbaum, der für Erweiterte statische Prüfung verwendet werden kann.Der Erweiterte statische Checker für Java-Version 2 (ESC / Java2) ist ein...
Grapher ist ein Forschungsprojekt, um das Problem der grafischen Darstellung impliziten Gleichungen (dh in der Form f (x, y) = g (x, y)) zu lösen attemts. Das Hauptaugenmerk wird hier mit verschiedenen Algorithmen experimentieren, wenn wir versuchen, eine...