Software Listing of Author : "Michael Meyling"

Hilbert II provides you with an intuitive application that allows you to verify mathematical theorems and axioms for accuracy and include them in a knowledge base.

Hilbert II integrates a set of models, thus the application can easily confront the two formulas and check if the input file is valid. The loaded QEDEQ modules can be converted to LaTeX and UTF-8 text format.



  • Platform: Windows 7, Windows 8, WinOther, WinVista

Principia Mathematica II is designed as a simple and handy utility that is capable of first order predicate logic and shows the main features and functionality of Hilbert II.

Principia Mathematica II presents the logic foundation of this project. It works with (prototype) QEDEQ module files located anywhere in the internet.

The protocols http and ftp are used, also local files can be specified. After the input of an URL of a QEDEQ module the local file buffer is searched.

If the requested QEDEQ file was not found, a download of the file specified by the URL is started and the result is saved in the local file buffer.

Afterwards the QEDEQ module is loaded and checked for formal correctness. If other QEDEQ modules are referenced these are also loaded.

Not until all necessary...

  • Platform: WinOther
New Reviews

Print Inspector

Whether you are using a printer connected to your local desktop computer or a print server sometimes you need to see whats going on in your printer by having a close look at the print jobs sent by the users. Print Inspector is such type software ...


Disk Genius

Disk Genius was formerly known as Partition Guru which is an all-in-one solution for disk partition management, data recovery and disk repairing. It can recover lost files from partition, backup and restore partition table, clone partition or clone ...


Safe In Cloud

It is quite difficult to find any computer users nowadays who do not need to use the web, for any purpose. Whether it is for education or entertainment, the web is your best resource. You also need to use various online services for banking, ...


PictBear

Nowadays, a majority of PC users resort to digital image editing once in a while. It may be required for retouching image captured in smart phones or for creating an album in Facebook. For some people, tinkering with digital images is a pastime too. ...


Panda Cloud Cleaner

PC security has become a tricky and complicated subject both for home users and network supervisors, with complexity and risk factors multiplying over the years. Using a single antivirus app may not be enough anymore. That explains why many users ...


SnapCrab

Nearly every PC users need to take screenshots from time to time, whether it is for personal or professional needs. While using the basic Windows screenshot capture method is available, it is not adequate for everyone. When you want to capture ...


BitKiller

Dealing with various types of data efficiently holds the key to success in any computing task. Apart from generating new data and modifying existing files, it becomes necessary to delete existing files at times. While most users resort to using ...


New Downloads

Dr.Web CureIt

Dr.Web CureIt is a
non-installation antivirufor
curing computers running MS
Windows 8/7/Vista/XP/Server
2003/2008/2012 ...

PDF Data Extractor

PDF Data Extractor can extract
certain text information
within the PDF, This is an
ideal product if you had for
example a ...

NetCrunch Suite

An all-in-one and agentless
network monitoring and
management system, capable of
monitoring every device in
your network. ...

Allavsoft

Batch download music, videos
from Spotify, Tidal, Deezer,
Soundcloud, YouTube, Vimeo,
Udemy, Kissasian, Lynda,
Twitter, ...

System Mechanic Trial

System Mechanic Trial provides
complete Windows maintenance
and repair using advanced
patented tools. It works to
speed ...

Windows 10 Manager

An all-in-one utility for
windows 10 specially, it
includes over forty utilities
to optimize, tweak, clean up
and fix ...

Prism Plus Edition

Prism Plus Edition for Windows
is the most comprehensive and
stable multi-format video
converter available. You can
...

VB.Net PDF

Create, Edit and Extract Text
and Image Content inside
VB.net applications. Supports
HTML, ASPX, CSS, and images.
...

Sheet Lightning Pro

Sheet Lightning is a
specialised engineering 2D/3D
CAD System for creating and
unfolding sheet metal designs
for ...

UNFORMAT

Unformat is a data recovery
software designed to help
users unformat hard drive
partitions and recover data
from any ...