|
|
 Report broken link
 Read reviews
 Add a review
|
 Report malware
 Refer to a friend
 Subscribe
|
|
|
Hilbert II is a free and open source program suite that enables a mathematician to put theorems and proofs into that knowledge base. These proofs are automatically verified by a proof checker. Also texts in "common mathematical language" can be integrated. The mathematical axioms, definitions and propositions are combined to so called QEDEQ modules. Such a module could be seen as a m... [read more >>]
 Add your comment.
Tell us your opinion or ask for help from a fellow Softpedian.
|
|
|
 NOTE: If you have problems downloading Hilbert II, please try to stop using your download manager and avoid right clicking on files. Also, check your firewall settings, because some mirrors may require that you do not block the HTTP referers. For further information please read our Downloading FAQ & Guide
 Please be aware that Softpedia accepts no responsibility for the software you are downloading. The same applies to the information provided about the software products listed, as the producer can modify it without notifying Softpedia. Even if we try to check the files for viruses ourselves, we cannot guarantee 100% that they are clean. For your own protection ALWAYS check downloaded files for viruses. |
|
Find us on Google+
