Hilbert II - Introduction

Rating: 0 - 0 votes

Company Logo

Company Name

Company Contact

Website Analysis

• Home Page Analysis
• Web Presence
• Home Page Speed

Domain Whois

WHOIS information for Pmii.org

Powered by who.is

Page Type

This page is about a company.

Description

pulled from site's meta description

Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier which can check a mathematical proof written in a certain formal language. This mathematical knowledge is organized in qedeq BOOKs which could be spread over the whole world wide web. There are converters for generating LaTeX files and html pages.

---

This is an automatically generated AboutUs page for Pmii.org. Click the "Edit" button at the top of the page to make changes. Please read our Getting Started page if you need any help.

×

Edit Page Image

×

Select image...

• jpeg, png, or gif
• one megabyte or smaller
• will be resized to 270 pixels wide

Close Save changes

×

Edit Name

×

Name

Close Save changes

×

Edit Contact Information

×

Address

City

State

Country

Postal Code

Phone

Fax

Email

Close Save changes

×

Edit Page Type

×

Page Type
Business / Organization Person Place Thing Other

Close Save changes

×

Map

×

×

Edit Page Rating

×

Your Rating

Close Save changes