Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

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

Dalam tradisi program Hilbert, kami membuat basis pengetahuan matematika formal yang benar (dapat diperiksa oleh verifier bukti) tetapi dapat dibaca (seperti buku teks LaTeX biasa) yang dapat diakses secara bebas di internet. Logika dan atur teori dimulai.

Riwayat versi

  • Versi 0.04.02 diposting di 2011-05-01
  • Versi 0.04.11 diposting di 2011-03-05
    Beberapa perbaikan dan pembaruan

Detil Program

Program Terkait

  • GET_IT - Game Engine Tutorial in TCL Gratis

    Proyek ini ditutup beberapa waktu lalu. Jika Anda ingin mengambil nama proyek, hanya e-mail saya.

  • SPINA Gratis

    SPINA adalah perangkat lunak untuk menentukan parameter struktur konstan dari sistem kontrol umpan balik endokrin dari tingkat hormon yang diperoleh dalam vivo. Versi pertama dari pendekatan cybernetic ini memungkinkan untuk

  • Meshgen Gratis

    Meshgen dirancang untuk secara interaktif menghasilkan bulu FEM 2D yang terdiri dari elemen segitiga dan segiempat.

  • Vocabulary Builder for GRE SAT Uji Coba Gratis

    Manhattan Review memperkenalkan aplikasi seluler pertama di India. Anda dapat mempelajari kata-kata baru yang akan membantu Anda dalam mempersiapkan GRE, SAT, TOEFL, dan IELTS. Anda juga dapat mengevaluasi pengetahuan Anda

  • Carrying the Word Uji Coba Gratis

    Mengusung Firman, diterbitkan oleh University Press of ColoradoBeli ebook bebas DRM ini hari ini! Didukung oleh Aldiko.Studi panjang pertama tentang penari Concheros, yang penggunaan tariannya menghubungkan praktik kea

  • Moritz Gratis

    Moritz adalah "addon" untuk doxygen alat terkenal. Ini menghasilkan diagram nassi shneiderman fungsi dan metode dalam sumber c / c + + sebagai file html, yang dapat dimasukkan dalam perangkat lunak - dokumentaion at

  • Birdlogger Gratis

    Program penebangan burung untuk membantu ahli ornitologi dan pengamat burung dalam penebangan burung penampakan. Di Visual Basic, untuk Windows dan Linux. Inggris dan Perancis.

  • Bowtie Gratis

    Bowtie, aligner baca pendek ultrafast dan hemat memori untuk urutan DNA pendek (baca) dari sequencer next-gen. Silakan mengutip: Langmead B, dkk. Keselarasan ultrafast dan hemat memori dari urutan DNA pendek ke genom manusia.

  • LaserFoam Gratis

    LaserFoam melakukan simulasi pulsa laser menggunakan metode Step Fourier langkah terpisah adaptif untuk memecahkan persamaan Schrdinger nonlinear umum. Ini menyediakan lingkungan grafis untuk menjalankan dan memvisualisasikan

  • Daylight Chart Gratis

    Daylight Chart menunjukkan waktu matahari terbit dan terbenam dalam bagan yang menarik, untuk lokasi mana pun di dunia. Efek waktu musim panas juga ditampilkan. Bagan dapat diekspor ke file gambar.