↓ Skip to main content

Automated Deduction – CADE 28

Overview of attention for book
Attention for Chapter 2: Towards the Automatic Mathematician
Altmetric Badge

Mentioned by

1 news outlet


2 Dimensions

Readers on

2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Towards the Automatic Mathematician
Chapter number 2
Book title
Automated Deduction – CADE 28
Published by
Springer, Cham, July 2021
DOI 10.1007/978-3-030-79876-5_2
Book ISBNs
978-3-03-079875-8, 978-3-03-079876-5

Markus N. Rabe, Christian Szegedy, Rabe, Markus N., Szegedy, Christian

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Lecturer 1 50%
Unknown 1 50%
Readers by discipline Count As %
Economics, Econometrics and Finance 1 50%
Unknown 1 50%