Foreword to: Special issue on interactive theorem provers

DOI10.1080/10586458.2022.2088982MaRDI QIDQ5094469zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 3 August 2022

Published in Experimental Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/10586458.2022.2088982

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to combinatorics (05-06) Proceedings, conferences, collections, etc. pertaining to number theory (11-06)

Recommendations

• Preface to the special issue: Interactive theorem proving and the formalization of mathematics
• Special issue: Formal proof
• Formal proof -- theory and practice
• Computer theorem proving in mathematics
• Automated theorem provers: a practical tool for the working mathematician?

Cited in

(8)

• Abstraction boundaries and spec driven development in pure mathematics
• Mathematics and the formal turn
• Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003
• scientific article; zbMATH DE number 3870635 (Why is no real title available?)
• Interactive theorem proving. Preface of the special issue
• Special issue: Formal proof
• Preface to the special issue: Interactive theorem proving and the formalization of mathematics
• A survey of interactive theorem proving

This page was built for publication: Foreword to: Special issue on interactive theorem provers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5094469)