Yazılım Gönder
  1. Ev
  2. Linux
  3. Diğer
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 4.0/5 - ‎1 ‎Oy
Indir

Hilbert programının geleneğinde biz resmi bir doğru (bir kanıt doğrulayıcı tarafından kontrol edilebilir) ama okunabilir (sıradan bir LaTeX ders kitabı gibi) serbestçe internet içinde erişilebilir matematiksel bilgi tabanı oluşturun. Mantık ve set teorisi başladı.

sürüm geçmişi

  • Sürüm 0.04.02 tarihinde gönderildi 2011-05-01
  • Sürüm 0.04.11 tarihinde gönderildi 2011-03-05
    Çeşitli düzeltmeler ve güncelleştirmeler

Program Detayları

İlgili Programlar

  • GET_IT - Game Engine Tutorial in TCL Ücret -siz

    Bu proje bir süre önce kapatıldı. Proje adını almak isterseniz, bana e-posta atın.

  • SPINA Ücret -siz

    SPINA, in vivo elde edilen hormon seviyelerinden endokrin geri bildirim kontrol sistemlerinin sürekli yapı parametrelerini belirlemek için bir yazılımdır. Bu sibernetik yaklaşımın ilk sürümü tiroid glan fonksiyonel durumunu n

  • Meshgen Ücret -siz

    Meshgen, üçgen ve dörtgen elemanlardan oluşan 2D FEM kafeslerini etkileşimli olarak oluşturmak üzere tasarlanmıştır.

  • Vocabulary Builder for GRE SAT Ücretsiz Deneme

    Manhattan Review Hindistan'da ilk mobil uygulama tanıttı. GRE, SAT, TOEFL ve IELTS'e hazırlanmanızda size yardımcı olacak yeni kelimeler öğrenebilirsiniz. Ayrıca kelimeler hakkındaki bilginizi değerlendirebilir ve kelime be

  • Carrying the Word Ücretsiz Deneme

    Colorado Üniversitesi Press tarafından yayınlanan Word Taşıma,Bu DRM-free ebook bugün satın alın! Aldiko tarafından desteklenmektedir.Concheros dansçılar, dans kullanımı Meksika kültürü içinde farklı şekillerde kentsel

  • Moritz Ücret -siz

    Moritz bir "addon" iyi bilinen araç doxygen için. Bir html-dokumentaion veya basit bir html-tarayıcı kullanılarak whached dahil edilebilir html dosyaları olarak bir c / c ++ kaynak, işlevleri ve yöntemleri nassi shn

  • Birdlogger Ücret -siz

    Kuş çubuğa ve kuş gözlemcilerine kuş ların görülmesinde yardım etmek için bir kuş kütükleme programı. Visual Basic'te, Windows ve Linux için. İngilizce ve Fransızca.

  • Bowtie Ücret -siz

    Bowtie, bir ultrahızlı, bellek verimli kısa okuma hizalayıcı kısa DNA dizileri için (okur) sonraki nesil sequencers seçin. Lütfen alıntı: Langmead B, ve diğerleri. Kısa DNA dizilerinin insan genomuna ultra hızlı ve hafıza açı

  • LaserFoam Ücret -siz

    LaserFoam, genelleştirilmiş doğrusal olmayan Schrdinger denklemini çözmek için adaptif split step Fourier yöntemini kullanarak lazer darbelerinin simülasyonlarını gerçekleştirir. Sonuçları çalıştırmak ve görselleştirmek için

  • Daylight Chart Ücret -siz

    Daylight Chart, dünyanın herhangi bir yeri için gün doğumu ve gün batımı saatlerini çekici bir grafikte gösterir. Gün ışığından yararlanma saatinin etkisi de görüntülenir. Grafikler görüntü dosyalarına dışa aktarılabilir.