Ylin Matematiikka ohjelmisto Varten Linux

Schifra on erittäin vankka, erittäin optimoitu, ja erittäin konfiguroitavissa Reed-Solomon virheenkorjauskoodin kirjasto sekä ohjelmistojen ja IP-ydin pohjaisten sovellusten kanssa toteutuksia C ++ ja VHDL.Hanke tukee standardia, lyhentää, ja puhkaista...

Command Line laskin "CLC" on laskin, joka voi laskea suoran klo Linuxin konsolissa.Pura CLCC tiedoston / usr / bin on ehkä kirjautua root tai equvalent tilin, jotta voi käyttää sitä aina tarvittaessa.Sitten vain kirjoittaa CLCC 67 ​​+ 89 ja vastaus...

Visual Turing Machine hanke on ohjelma, jolla voit luoda Turingin koneita kohta ja napsauta käyttöliittymän sijaan käyttää esoteerinen kieliä.Voit pakata monimutkaisia ​​koneita pieniin laatikoihin, ja sitten uudelleen niitä osana suurempaa konetta. VTM...

K3DSurf on ohjelma, joka tuottaa 3D pinnat Matemaattiset kaavat (parametri tai Explicit yhtälöitä).Kehittyneempi versio on työn alla, joten kaikki kommentit ovat tervetulleita. K3DSurf Ohjelma tehtiin huvin, kuluttaa aikaa ja oppia joitakin perusasioita...

Calcoo on RPN ja algebrallinen tieteellinen laskin.Tässä muutamia keskeisiä piirteitä...

L2P luo PNG-kuvia matemaattisia lausekkeita alustettu LaTeX. Vaikka se voi muuntaa koko LaTeX, se on suunniteltu helposti luoda kuvia vain fragmentti LaTeX koodia.Lataa L2P tästä tai lue ohjeet. L2P riippuu muun ohjelmiston: latex, dvips, ja muuntaa....

GNU polyxmass on massaspektrometrinen ohjelmistopaketti (bio) -polymeerit.GNU polyxmass on integroitu massaspektrometria puitteet, joissa käyttäjät voivat määrittää upouusi Polymeerikemikaalien (etäisyys polyxdef moduuli), ja käyttää näitä määritelmiä,...

Dstar Lite on C täytäntöönpano D * Lite algoritmi kuten edellä [Koenig, 2002].On olemassa muutamia pieniä muutoksia tätä koodia parantaa laskenta-aikaa ja polku matka. Tämä on hyvin yksinkertainen pala ohjelmisto ja toteutettava hyvin vähän aikaa ymmärtää...

ESC / Java2 Frontend hanke jäsentää Java 1.4 lähdekoodi ja Java 1.5 bytecode osaksi Abstract Syntax Tree, joka voidaan käyttää Extended Staattinen tarkistaminen.Laajennettu Static Checker Java-versio 2 (ESC / Java2) on ohjelmointityökalu, joka yrittää...

Grapher on tutkimushanke, joka attemts ratkaisemaan ongelman piirtämisen implisiittisesti yhtälöt (eli muodossa f (x, y) = g (x, y)). Pääpaino tässä tullaan kokeilemaan eri algoritmien, vaikka pyrimme tarjoamaan käyttökelpoista Gtk käyttöliittymä.Mitä...