Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes
Télécharger

Dans la tradition du programme de Hilbert, nous créons une base de connaissances mathématiques formelle correcte (vérifiable par un vérificateur de preuve) mais lisible (comme un manuel laTeX ordinaire) qui est librement accessible sur Internet. La logique et la théorie des ensembles ont commencé.

historique de la version

  • Version 0.04.02 posté sur 2011-05-01
  • Version 0.04.11 posté sur 2011-03-05
    Plusieurs correctifs et mises à jour

Détails du programme

Programmes connexes

  • GET_IT - Game Engine Tutorial in TCL Gratuit

    Ce projet a été arrêté il y a quelque temps. Si vous voulez prendre le nom du projet, envoyez-moi un e-mail.

  • SPINA Gratuit

    SPINA est un logiciel pour déterminer la structure constante-paramètres des systèmes de contrôle de rétroaction endocrinienne à partir de niveaux d’hormones obtenus in vivo. La première version de cette approche cybernétique

  • Meshgen Gratuit

    Meshgen est conçu pour générer de manière interactive des mailles FEM 2D composées d’éléments triangulaires et quadrilatéraux.

  • Vocabulary Builder for GRE SAT Essai gratuit

    Manhattan Review présente la première application mobile en Inde. Vous pouvez apprendre de nouveaux mots qui vous aideront à vous préparer pour GRE, SAT, TOEFL et IELTS. Vous pouvez également évaluer vos connaissances sur l

  • Carrying the Word Essai gratuit

    Carrying the Word, publié par University Press of ColoradoAchetez cet ebook sans DRM dès aujourd’hui! Propulsé par Aldiko.La première étude complète des danseurs concheros, dont l’utilisation de la danse relie les prat

  • Moritz Gratuit

    Moritz est un "addon" à l’outil bien connu doxygen. Il génère des diagrammes nassi shneiderman de fonctions et de méthodes dans une source c/c++ sous forme de fichiers html, qui pourraient être inclus dans un logici

  • Birdlogger Gratuit

    Un programme d’observation des oiseaux pour aider les ornithologues et les ornithologues à observer les oiseaux. Dans Visual Basic, pour Windows et Linux. Anglais et Français.

  • Bowtie Gratuit

    Bowtie, un aligner de lecture courte ultra-rapide et économe en mémoire pour de courtes séquences d’ADN (lire) de séquenceurs next-gen. S’il vous plaît citer: Langmead B, et al. Alignement ultrafast et économe en mémoire de c

  • LaserFoam Gratuit

    LaserFoam effectue des simulations d’impulsions laser à l’aide d’une méthode fourier adaptative à deux étapes pour résoudre l’équation généralisée non linéaire schrdinger. Il fournit un environnement graphique pour exécuter e

  • Daylight Chart Gratuit

    Daylight Chart montre les heures de lever et coucher du soleil dans un tableau attrayant, pour n’importe quel endroit dans le monde. L’effet de l’heure d’été est également affiché. Les graphiques peuvent être exportés vers de