The central idea of the np-compete platform is to semantically mark up, with essentially "hand wavy" types of proofs, proofs from the complexity theory literature written in documents that start out ...

The central idea of the np-compete platform is to semantically mark up, with essentially "hand wavy" types of proofs, proofs from the complexity theory literature written in documents that start out as TeX or LaTeX and subsequently get converted into XHTML+MathML. The aim is to find and generate new ideas that might eventually lead to a complete solution of the "P vs. NP" problem.

### Statistics

### Views

- Total Views
- 1,084
- Views on SlideShare
- 1,084
- Embed Views

### Actions

- Likes
- 1
- Downloads
- 1
- Comments
- 0

Full NameComment goes here.Dan Hagon, Software Developer at Science and Technology Facilities Council 4 years ago