SlideShare for iOS
by Linkedin Corporation
FREE - On the App Store
by Linkedin Corporation
FREE - On the App Store
We have emailed the verification/download link to "".
Login to your email and click the link to download the file directly.
Check your bulk/spam folders if you can't find our mail.
Like this? Share it with your network
ShareThe 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......
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.
Views
Actions
Embeds 0
Report content