Foreword to: Special issue on interactive theorem provers

DOI10.1080/10586458.2022.2088982zbMATH Open1492.00054OpenAlexW4283455599WikidataQ113850290 ScholiaQ113850290MaRDI QIDQ5094469FDOQ5094469

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

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?

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)

Cited In (8)

• Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003
• Title not available (Why is that?)
• 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
• Abstraction boundaries and spec driven development in pure mathematics
• Mathematics and the formal turn

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)