|
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".
Author:
m31 [contact developer]
Homepage:
http://www.qedeq.org
Tar/BZ2:
http://prdownloads.sourceforge.net/pmii/qedeq_0.03.09_unx.tar.bz2?download
Changelog:
http://www.qedeq.org/0_03_09/doc/project/changes.txt
Jar:
http://www.qedeq.org/0_03_09/lib/qedeq_kernel_se.jar
CVS tree (cvsweb):
http://pmii.cvs.sourceforge.net/
Mirror site:
http://sourceforge.net/projects/pmii/
Demo site:
http://www.qedeq.org/0_03_09/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
|
|
» Rating:
8.11/10.00
(Rank N/A)
» Vitality: 0.26% (Rank 1087)
» Popularity: 1.32% (Rank 4194)
 
(click to enlarge graphs)
Record hits: 14,288
URL hits: 5,511
Subscribers: 32
|
|
