×

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