Thirty Five Years of Automating Mathematics

Overview of attention for book

Cover of 'Thirty Five Years of Automating Mathematics'

Table of Contents

Attention for Chapter 11: Proof Development with Ωmega: The Irrationality of $$\sqrt 2$$

Altmetric Badge

Citations

dimensions_citation: 7 Dimensions

Readers on

mendeley: 6 Mendeley

Summary Dimensions citations

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	Proof Development with Ωmega: The Irrationality of $$\sqrt 2$$
Chapter number	11
Book title	Thirty Five Years of Automating Mathematics
Published by	Springer, Dordrecht, January 2003
DOI	10.1007/978-94-017-0253-9_11
Book ISBNs	978-9-04-816440-0, 978-9-40-170253-9
Authors	Jörg Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Immanuel Normann, Martin Pollet

View on publisher site Alert me about new mentions

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country	Count	As %
Unknown	6	100%

Demographic breakdown

Readers by professional status	Count	As %
Professor	3	50%
Student > Ph. D. Student	1	17%
Student > Bachelor	1	17%
Student > Postgraduate	1	17%

Readers by discipline	Count	As %
Computer Science	4	67%
Mathematics	1	17%
Social Sciences	1	17%