Conference item icon

Conference item

Mathematical practice, crowdsourcing, and social machines

Abstract:

The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. Crowdsourcing pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs too long and complicated for humans to comprehend. Mathematical practic...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-642-39320-4_7

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More from this funder
Funding agency for:
Martin, U
Grant:
EP/F02309X
EP/H500162
Publisher:
Springer Berlin Heidelberg Publisher's website
Volume:
Lecture Notes in Computer Science: 7961
Pages:
98-119
Host title:
Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Publication date:
2013-01-01
DOI:
ISSN:
0302-9743
Source identifiers:
590358
ISBN:
9783642393204
Pubs id:
pubs:590358
UUID:
uuid:d716b66b-0248-438b-ba88-163149f43a78
Local pid:
pubs:590358
Deposit date:
2016-01-19

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP