Hilbert II swMATH ID: 5516 Software Authors: m31 Description: 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”. Homepage: http://www.qedeq.org/ Programming Languages: Java Keywords: Text Processing; Markup; TeX/LaTeX; education; Documentation; Scientific/Engineering; Mathematics; Internet; HTML/XHTML Cited in: 0 Publications