Foreword to: Special Issue on Interactive Theorem Provers

Alex Kontorovich

doi:10.1080/10586458.2022.2088982

Foreword to: Special Issue on Interactive Theorem Provers

Alex Kontorovich

School of Arts and Sciences, Mathematics

Research output: Contribution to journal › Editorial › peer-review

1 Scopus citations

Original language	English (US)
Pages (from-to)	347-348
Number of pages	2
Journal	Experimental Mathematics
Volume	31
Issue number	2
DOIs	https://doi.org/10.1080/10586458.2022.2088982
State	Published - 2022

All Science Journal Classification (ASJC) codes

General Mathematics

Access to Document

10.1080/10586458.2022.2088982

Cite this

@article{ec6b21642d004e42898cac1ca0a0b3c5,

title = "Foreword to: Special Issue on Interactive Theorem Provers",

author = "Alex Kontorovich",

year = "2022",

doi = "10.1080/10586458.2022.2088982",

language = "English (US)",

volume = "31",

pages = "347--348",

journal = "Experimental Mathematics",

issn = "1058-6458",

publisher = "Taylor and Francis Ltd.",

number = "2",

}

TY - JOUR

T1 - Foreword to

T2 - Special Issue on Interactive Theorem Provers

AU - Kontorovich, Alex

PY - 2022

Y1 - 2022

UR - https://www.scopus.com/pages/publications/85132784452

UR - https://www.scopus.com/pages/publications/85132784452#tab=citedBy

U2 - 10.1080/10586458.2022.2088982

DO - 10.1080/10586458.2022.2088982

M3 - Editorial

AN - SCOPUS:85132784452

SN - 1058-6458

VL - 31

SP - 347

EP - 348

JO - Experimental Mathematics

JF - Experimental Mathematics

IS - 2

ER -

Foreword to: Special Issue on Interactive Theorem Provers

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this