About:
The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".

Release focus: Minor feature enhancements

Changes:
All error locations of a QEDEQ module are highlighted in the source viewer now. A click on the error list jumps to the error position. Only one application instance can be started. The Java version is checked during startup and must be at least 1.4.2. The loading sequence for referenced modules changed: now modules are tried according their enumeration. Application for the WebStart mode is now the subdirectory ".qedeq" within the home directory.

Author:
m31 [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
8.11/10.00 (2 votes)

Homepage:
http://www.qedeq.org
Tar/BZ2:
http://prdownloads.sourceforge.net/pmii/qedeq_0.03.11_unx.tar.bz2?download
Changelog:
http://www.qedeq.org/0_03_11/doc/project/changes.txt
Jar:
http://www.qedeq.org/0_03_11/lib/qedeq_kernel-0.03.11.jar
CVS tree (cvsweb):
http://pmii.cvs.sourceforge.net/
Mirror site:
http://sourceforge.net/projects/pmii/
Demo site:
http://www.qedeq.org/0_03_11/webstart/qedeq.jnlp

Trove categories: [change]

[Development Status]		2 - Pre-Alpha, 3 - Alpha, 4 - Beta
[Environment]		Console (Text Based), MacOS X, Other Environment, Win32 (MS Windows), X11 Applications
[Intended Audience]		Developers, End Users/Desktop, Other Audience
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		OS Independent
[Programming Language]		Java
[Topic]		Documentation, Education, Internet, Scientific/Engineering :: Mathematics, Text Processing :: Markup, Text Processing :: Markup :: HTML/XHTML, Text Processing :: Markup :: TeX/LaTeX

Dependencies: [change]
No dependencies filed

 Branches

Branch	Version	Last release	License	URLs
Default	0.03.11	08-Aug-2008	GNU General Public License (GPL)

 Releases

Version	Focus	Date
0.03.11	N/A	08-Aug-2008 21:45
0.03.10	Minor feature enhancements	17-May-2008 21:08
0.03.09	Minor feature enhancements	31-Mar-2008 21:08
0.03.08	Minor feature enhancements	29-Jan-2008 08:46
0.03.07	Minor feature enhancements	24-Dec-2007 11:08
0.03.06	Major feature enhancements	15-Oct-2007 13:47
0.03.05	Major feature enhancements	02-Sep-2007 14:29
0.03.04	N/A	10-May-2007 09:34
0.03.03	Minor feature enhancements	12-Mar-2007 02:18
0.03.02	Minor feature enhancements	26-Feb-2007 07:16