Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos
Descargar

En la tradición del programa de Hilbert creamos una base de conocimiento matemático formal correcta (comprobable por un verificador de prueba) pero legible (como un libro de texto laTeX ordinario) que es de libre acceso dentro de Internet. Empezó la lógica y la teoría de conjuntos.

historial de versiones

  • Versión 0.04.02 publicado en 2011-05-01
  • Versión 0.04.11 publicado en 2011-03-05
    Varias correcciones y actualizaciones

Detalles del programa

Programas relacionados

  • GET_IT - Game Engine Tutorial in TCL Gratis

    Este proyecto fue cerrado hace algún tiempo. Si quieres tomar el nombre del proyecto, envíame un e-mail.

  • SPINA Gratis

    SPINA es un software para determinar los parámetros constantes de la estructura de los sistemas de control de retroalimentación endocrina a partir de los niveles hormonales obtenidos in vivo. La primera versión de este enfoqu

  • Meshgen Gratis

    Meshgen está diseñado para generar interactivamente mallas 2D FEM compuestas de elementos triangulares y cuadriláteros.

  • Vocabulary Builder for GRE SAT Prueba gratuita

    Manhattan Review presenta la primera aplicación móvil en la India. Puede aprender nuevas palabras que le ayudarán en la preparación para GRE, SAT, TOEFL e IELTS. También puede evaluar sus conocimientos sobre las palabras y

  • Carrying the Word Prueba gratuita

    Carrying the Word, publicado por University Press of Colorado¡Compra este ebook sin DRM hoy mismo! Desarrollado por Aldiko.El primer estudio de larga duración de los bailarines de Concheros, cuyo uso de la danza vincul

  • Moritz Gratis

    Moritz es un "addon" a la conocida herramienta doxygen. Genera diagramas nassi shneiderman de funciones y métodos en una fuente c/c++ como archivos html, que podrían incluirse en un software-dokumentaion o simple wh

  • Birdlogger Gratis

    Un programa de tala de aves para ayudar a ornitólogos y observadores de aves en la tala de aves. En Visual Basic, para Windows y Linux. Inglés y francés.

  • Bowtie Gratis

    Bowtie, un alineador de lectura corta ultrarrápido y eficiente en memoria para secuencias de ADN cortas (lecturas) de secuenciadores de próxima generación. Por favor cite: Langmead B, et al. Alineación ultrarrápida y eficient

  • LaserFoam Gratis

    LaserFoam realiza simulaciones de pulsos láser utilizando un método de Fourier paso dividido adaptativo para resolver la ecuación generalizada no lineal de Schrdinger. Proporciona un entorno gráfico para ejecutar y visualizar

  • Daylight Chart Gratis

    El gráfico de la luz del día muestra las horas del amanecer y del atardecer en un gráfico atractivo, para cualquier lugar del mundo. También se muestra el efecto del horario de verano. Los gráficos se pueden exportar a archiv