Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. PolyBoRi
  5. Download

PolyBoRi 0.7.0

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.0/5 - ‎1 ‎Suara

Tentang PolyBoRi

PolyBoRi diimplementasikan sebagai perpustakaan C++ untuk Polinomial melalui Boolean Rings, yang menyediakan jenis data tingkat tinggi untuk polinomial Boolean. Antarmuka python menghasilkan algoritma yang dapat diperluas untuk menghitung basis Groebner di atas Boolean Rings.

Program Terkait

  • RAVL, Recognition And Vision Library. Gratis

    Perpustakaan C++ Umum, dengan modul untuk Visi Komputer, Pengenalan Pola, dan banyak lagi.

  • A Helpful Terminal Emulator Gratis

    ''ah-tty'' adalah pembantu otomatis untuk prompt perintah dan kerang. Untuk pengguna shell pemula, ini memberikan umpan balik dan saran tentang perintah yang ingin mereka gunakan atau ingin gunakan.

  • Virtual Body Gratis

    Proyek Virtual Body bertujuan untuk menjadi simulator tubuh manusia, berguna untuk pendidik, dan di masa depan, dokter.

  • Universal Maths Conversion Library Gratis

    Perpustakaan UMCL menyediakan satu API kepada pengembang aplikasi yang mengharuskan konversi antara format Matematika yang berbeda dan terutama notasi spesifik Braille.

  • Bhagavad Gita(YaBG) Gratis

    YaBG - Namun lain "Bhagavad Gita" aplikasi. Aplikasi ini memungkinkan Anda untuk membaca seluruh gita bhagavad tanpa gangguan; tidak ada iklan, tidak ada pop up yang menyakitkan; benar-benar gratis dan tidak ada yan

  • PHiMX Gratis

    PHiMX adalah alat baris perintah untuk menghasilkan kode XMI dari proyek di PHP5. Ini dapat menganalisis secara rekursif beberapa direktori skrip PHP, mendukung berbagai format XMI dan memungkinkan untuk mengintegrasikan incl

  • Spanish Tester Lite Uji Coba Gratis

    Spanyol Tester Pro menguji Anda pada konjugasi kata kerja Spanyol dan perjanjian antara bagian-bagian pidato dengan menghasilkan pertanyaan kuis simulasi.Pertanyaan pilihan ganda dan isi kosong menguji pengetahuan Anda te

  • Mechanicus Gratis

    Mechanicus adalah simulator balapan antara kendaraan yang dibangun pemain. Proyek ini secara efektif ditinggalkan.

  • Analysis & Reconstruction Sound Gratis

    Mesin Suara Analisis & Rekonstruksi menganalisis file suara ke dalam spektrogram dan mampu mensintesis spektrogram ini, atau gambar yang dibuat pengguna lainnya, kembali ke suara.

  • Analyzer Component Framework Gratis

    ACF adalah kerangka kerja untukmenulis pemeriksa model. ACF dibangun berdasarkan pengamatan mendasar bahwa struktur sebagian besaralgoritma pengecekan model independen dari formalisme yang digunakan untuk menggambarkan