Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi
Muat turun

Dalam tradisi program Hilbert kita mencipta yang betul formal (boleh diperiksa oleh verifier bukti) tetapi boleh dibaca (seperti buku teks LaTeX biasa) asas pengetahuan matematik yang boleh diakses secara percuma dalam internet. Logik dan tetapkan teori bermula.

sejarah versi

  • Versi 0.04.02 diposkan pada 2011-05-01
  • Versi 0.04.11 diposkan pada 2011-03-05
    Beberapa pembaikan dan pengemaskinian

Butiran Atur Cara

Atur Cara Berkaitan

  • GET_IT - Game Engine Tutorial in TCL Percuma

    Projek ini telah ditutup beberapa waktu yang lalu. Jika anda ingin mengambil nama projek, hanya e-mel saya.

  • SPINA Percuma

    SPINA adalah perisian untuk menentukan parameter struktur berterusan sistem kawalan maklum balas endokrin dari tahap hormon yang diperolehi dalam vivo. Versi pertama pendekatan cybernetic ini membolehkan untuk mengurangkan st

  • Meshgen Percuma

    Meshgen direka untuk menjana meshes 2D FEM secara interaktif terdiri daripada unsur segi tiga dan kuadrilateral.

  • Vocabulary Builder for GRE SAT Percubaan Percuma

    Manhattan Review memperkenalkan aplikasi mudah alih pertama di India. Anda boleh mempelajari perkataan baru yang akan membantu anda dalam persediaan untuk GRE, SAT, TOEFL, dan IELTS. Anda juga boleh menilai pengetahuan anda

  • Carrying the Word Percubaan Percuma

    Membawa Perkataan, yang diterbitkan oleh University Press of ColoradoBeli ebook bebas DRM ini hari ini! Dikuasakan oleh Aldiko.Kajian penuh pertama penari Concheros, yang penggunaan tarian menghubungkan amalan agama lu

  • Moritz Percuma

    Moritz adalah sebut harga & addon" kepada alat terkenal doxygen. Ia menjana gambar rajah nassi shneiderman fungsi dan kaedah dalam sumber c / c ++ sebagai fail html, yang boleh dimasukkan ke dalam dokumentaion pe

  • Birdlogger Percuma

    Program pembalakan burung untuk membantu ahli ornithologists dan pemerhati burung dalam pembalakan burung penglihatan. Dalam Visual Basic, untuk Windows dan Linux. Bahasa Inggeris dan Perancis.

  • Bowtie Percuma

    Bowtie, ultrafast, memori-cekap bacaan sejajar untuk urutan DNA pendek (bacaan) dari penjujukan gen seterusnya. Sila memetik: Langmead B, et al. Ultrafast dan memori-cekap penjajaran urutan DNA pendek kepada genom manusia. Ge

  • LaserFoam Percuma

    LaserFoam melakukan simulasi denyutan laser menggunakan kaedah pepecahan penyesuaian Fourier untuk menyelesaikan persamaan Schrdinger nonlinear umum. Ia menyediakan persekitaran grafik untuk menjalankan dan menggambarkan hasi

  • Daylight Chart Percuma

    Carta Siang menunjukkan masa matahari terbit dan matahari terbenam dalam carta yang menarik, untuk mana-mana lokasi di dunia. Kesan masa penjimatan siang juga dipaparkan. Carta boleh dieksport ke fail imej.