Mechanical Mathematicians

Alexander Bentkamp; Jasmin Blanchette; Visa Nummelin; Sophie Tourret; Petar Vukmirović; Uwe Waldmann

doi:10.1145/3557998

Mechanical Mathematicians

Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirović, Uwe Waldmann

Research output: Contribution to Journal › Review article › Academic › peer-review

Abstract

A new generation of automatic theorem provers eliminate bugs in software and mathematics.

Original language	English
Pages (from-to)	80-90
Number of pages	11
Journal	Communications of the ACM
Volume	66
Issue number	4
Early online date	23 Mar 2023
DOIs	https://doi.org/10.1145/3557998
Publication status	Published - Apr 2023

Bibliographical note

Publisher Copyright:
© 2023 ACM.

Funding

Funders	Funder number
Horizon 2020 Framework Programme	713999

Access to Document

10.1145/3557998

Persistent URL (handle)

Persistent link

Cite this

@article{0b0e24bf54f2476691d91dde55b8b4ac,

title = "Mechanical Mathematicians",

abstract = "A new generation of automatic theorem provers eliminate bugs in software and mathematics.",

author = "Alexander Bentkamp and Jasmin Blanchette and Visa Nummelin and Sophie Tourret and Petar Vukmirovi{\'c} and Uwe Waldmann",

note = "Publisher Copyright: {\textcopyright} 2023 ACM.",

year = "2023",

month = apr,

doi = "10.1145/3557998",

language = "English",

volume = "66",

pages = "80--90",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "Association for Computing Machinery",

number = "4",

}

TY - JOUR

T1 - Mechanical Mathematicians

AU - Bentkamp, Alexander

AU - Blanchette, Jasmin

AU - Nummelin, Visa

AU - Tourret, Sophie

AU - Vukmirović, Petar

AU - Waldmann, Uwe

PY - 2023/4

Y1 - 2023/4

N2 - A new generation of automatic theorem provers eliminate bugs in software and mathematics.

AB - A new generation of automatic theorem provers eliminate bugs in software and mathematics.

UR - http://www.scopus.com/inward/record.url?scp=85151567509&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85151567509&partnerID=8YFLogxK

U2 - 10.1145/3557998

DO - 10.1145/3557998

M3 - Review article

AN - SCOPUS:85151567509

SN - 0001-0782

VL - 66

SP - 80

EP - 90

JO - Communications of the ACM

JF - Communications of the ACM

IS - 4

ER -

Mechanical Mathematicians

Abstract

Bibliographical note

Funding

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this