Puncak Software matematika Untuk Linux
Schifra adalah Reed-Solomon mengoreksi kesalahan kode perpustakaan sangat kuat, sangat optimal, dan sangat dikonfigurasi untuk kedua perangkat lunak dan IP aplikasi inti berbasis dengan implementasi di C ++ dan VHDL.Proyek ini mendukung standar,...
Command Line kalkulator "CLC" adalah kalkulator yang dapat menghitung langsung di konsol Linux.Ekstrak file CLCC ke / usr / bin Anda mungkin perlu login sebagai root atau rekening equvalent, untuk dapat mengaksesnya kapanpun Anda membutuhkannya.Kemudian...
Visual Turing Machine proyek adalah program yang memungkinkan Anda membuat mesin Turing dengan titik dan antarmuka klik daripada menggunakan bahasa esoteris.Anda dapat pak mesin kompleks Anda ke dalam kotak kecil, dan kemudian menggunakan kembali mereka...
K3DSurf adalah program yang menghasilkan permukaan 3D dengan formula matematika (Parameter atau persamaan eksplisit).Sebuah versi yang lebih canggih sedang dibangun sehingga semua komentar Anda dipersilakan. Program K3DSurf dibuat hanya untuk...
Calcoo adalah RPN dan aljabar kalkulator ilmiah.Berikut adalah beberapa fitur kunci dari...
L2P menciptakan PNG gambar ekspresi matematika diformat dalam LaTeX. Meskipun dapat mengkonversi dokumen LaTeX utuh, ia dirancang untuk mudah menghasilkan gambar dari hanya sebuah fragmen kode LaTeX.Ambil l2p sini, atau membaca dokumentasi. L2P tergantung...
GNU polyxmass adalah massa Suite software spektrometri untuk (bio) -polymers.GNU polyxmass memiliki kerangka spektrometri massa terpadu di mana pengguna dapat menentukan merek baru kimia polimer (dalam modul polyxdef), dan menggunakan definisi ini untuk...
DSTAR Lite adalah implementasi C dari algoritma D * Lite seperti yang dijelaskan dalam [Koenig 2002].Ada beberapa modifikasi kecil untuk kode ini untuk meningkatkan waktu komputasi dan jarak jalan. Ini adalah bagian yang sangat sederhana dari perangkat...
ESC proyek / Java2 Frontend mengurai kode Java 1.4 sumber dan Java 1.5 bytecode menjadi Abstrak Sintaks Pohon yang dapat digunakan untuk Extended Memeriksa statis.Diperpanjang Static Checker untuk Java versi 2 (ESC / Java2) adalah alat pemrograman yang...
Grapher adalah proyek penelitian yang attemts untuk memecahkan masalah grafik persamaan implisit (yaitu dalam bentuk f (x, y) = g (x, y)). Fokus utama di sini akan bereksperimen dengan algoritma yang berbeda, meskipun kami berusaha untuk menyediakan...