Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants

H.P. Barendregt, A.M. Cohen

Research output: Contribution to journal › Article › Academic › peer-review

12 Citations (Scopus)

2 Downloads (Pure)

Original language	English
Pages (from-to)	3-22
Journal	Journal of Symbolic Computation
Volume	32
Issue number	1-2
DOIs	https://doi.org/10.1006/jsco.2001.0455
Publication status	Published - 2001

Access to Document

@article{787ea99b706c45d99daff5d99ec0e035,

title = "Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants",

author = "H.P. Barendregt and A.M. Cohen",

year = "2001",

doi = "10.1006/jsco.2001.0455",

language = "English",

volume = "32",

pages = "3--22",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press Inc.",

number = "1-2",

}

TY - JOUR

T1 - Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants

AU - Barendregt, H.P.

AU - Cohen, A.M.

PY - 2001

Y1 - 2001

U2 - 10.1006/jsco.2001.0455

DO - 10.1006/jsco.2001.0455

M3 - Article

SN - 0747-7171

VL - 32

SP - 3

EP - 22

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 1-2

ER -