Foreword to: Special Issue on Interactive Theorem Provers: Experimental Mathematics: Vol 31, No 2

1,713

Views

CrossRef citations to date

Altmetric

"Foreword to: Special Issue on Interactive Theorem Provers." Experimental Mathematics, 31(2), pp. 347–348

Notes

1 Of course then one must be confident in the accuracy of the compiler, but most people seem to agree that whatever errors it may introduce will be far fewer than the track record of our current human process.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Foreword to: Special Issue on Interactive Theorem Provers

Information for

Open access

Opportunities

Help and information

Foreword to: Special Issue on Interactive Theorem Provers

Notes

Reprints and Corporate Permissions

Academic Permissions

Related research

To cite this article:

Download citation

Information for

Open access

Opportunities

Help and information

Keep up to date

Your download is now in progress and you may close this window

Login or register to access this feature