Skip to main content

Home/ Math Links/ Group items tagged collective intelligence

Rss Feed Group items tagged

Filter: All | Bookmarks | Topics Simple Middle
Garrett Eastman

Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013,... - 1 views

www.springer.com/...978-3-642-39319-8

math mathematics LaTeX MathML algebra computer algebra systems databases information retreival conferences computation artificial intelligence world wide web

shared by Garrett Eastman on 27 Jul 13 - No Cached
  • Garrett Eastman on 27 Jul 13
     
    A collection of 33 papers presented at the CICM in Bath, UK, July 2013 (full access by purchase or subscription.)
  • anonymous on 05 Oct 13
     
    today hindi news,today news talmi,hindi news www.killdo.de.gg
Garrett Eastman

What does mathoverflow tell us about the production of mathematics? - 0 views

arxiv.org/1305.0904.pdf

math mathematics maths education resources interactive mathoverflow collective intelligence collaboration computing

shared by Garrett Eastman on 13 Jun 13 - No Cached
  • Garrett Eastman on 13 Jun 13
     
    From the abstract: "ew innovations by math- ematicians themselves are starting to harness the power of social computation to create new modes of mathematical production. We study the effectiveness of one such system, and make proposals for enhancement, drawing on AI and computer based mathematics. We analyse the content of a sample of questions and responses in the community ques- tion answering system for research mathematicians, math- overflow . We find that mathoverflow is very effective, with 90% of our sample of questions answered completely or in part. A typical response is an informal dialogue, allowing error and speculation, rather than rigorous mathematical argument: 37% of our sample discussions acknowledged er- ror. Responses typically present information known to the respondent, and readily checked by other users: thus the effectiveness of mathoverflow comes from information shar- ing. We conclude that extending and the power and reach of mathoverflow through a combination of people and machines raises new challenges for artificial intelligence and compu ta- tional mathematics, in particular how to handle error, anal - ogy and informal reasoning."
1 - 2 of 2
Showing 20▼ items per page