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
MongoDB Atlas runs apps anywhere Icon
MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
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