Submit Software
  1. Home
  2. Linux
  3. Other
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes
Download

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

VERSION HISTORY

  • Version 0.04.02 posted on 2011-05-01
  • Version 0.04.11 posted on 2011-03-05
    Several fixes and updates

Program Details

Related Programs

  • GET_IT - Game Engine Tutorial in TCL Free

    This project was shut down some time ago. If you'd like to take the project name, just e-mail me.

  • SPINA Free

    SPINA is software for determining constant structure-parameters of endocrine feedback control systems from hormone levels obtained in vivo. The first version of this cybernetic approach allows for evualuating the functional s

  • Meshgen Free

    Meshgen is designed to interactively generate 2D FEM meshes composed of triangular and quadrilateral elements.

  • Vocabulary Builder for GRE SAT Free Trial

    Manhattan Review introduces the first mobile application in India. You can learn new words which will help you in preparing for GRE, SAT, TOEFL, and IELTS. You can also evaluate your knowledge on the words and test your vocab

  • Carrying the Word Free Trial

    Carrying the Word, published by University Press of ColoradoBuy this DRM-free ebook today! Powered by Aldiko.The first full length study of the Concheros dancers, whose use of dance links rural religious practices with urban

  • Moritz Free

    Moritz is an "addon" to the well known tool doxygen. It generates nassi shneiderman diagramms of functions and methods in a c/c++ source as html-files, which could be included in a software-dokumentaion or simple wh

  • Birdlogger Free

    A bird logging program to aid ornithologists and bird watchers in logging sighting birds. In Visual Basic, for Windows and Linux. English and French.

  • Bowtie Free

    Bowtie, an ultrafast, memory-efficient short read aligner for short DNA sequences (reads) from next-gen sequencers. Please cite: Langmead B, et al. Ultrafast and memory-efficient alignment of short DNA sequences to the human

  • LaserFoam Free

    LaserFoam performs simulations of laser pulses using an adaptive split step Fourier method to solve the generalized nonlinear Schrdinger equation. It provides a graphical environment to run and visualize the results.

  • Daylight Chart Free

    Daylight Chart shows sunrise and sunset times in an attractive chart, for any location in the world. The effect of daylight savings time is also displayed. Charts can be exported to image files.