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.

Features

  • QEDEQ

Project Samples

PDF result of main program suite. Main program suite shows first formal proof in text viewer. Finding a proof. Main program suite at work. [0.04.06] Showing the process view [0.04.06] Main program suite worked on good QEDEQ modules [0.04.06]

Project Activity

See All Activity >

Categories

TeX/LaTeX, Documentation, Internet, Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow Hilbert II - QEDEQ

Hilbert II - QEDEQ Web Site

Other Useful Business Software
Your top-rated shield against malware and online scams | Avast Free Antivirus Icon
Your top-rated shield against malware and online scams | Avast Free Antivirus

Browse and email in peace, supported by clever AI

Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Hilbert II - QEDEQ!

Additional Project Details

Operating Systems

Linux, BSD, Windows

Languages

English, German

Intended Audience

Science/Research, Education, Developers, End Users/Desktop, Other Audience

User Interface

Java Swing, Gnome, X Window System (X11), Win32 (MS Windows), Command-line, Windows Aero

Programming Language

Java

Related Categories

Java TeX LaTeX, Java Documentation Software, Java Internet Software, Java Mathematics Software

Registered

2001-07-27
Report inappropriate content