Muutke küpsiste eelistusi

E-raamat: Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop

  • Formaat: 88 pages
  • Ilmumisaeg: 10-Nov-2023
  • Kirjastus: National Academies Press
  • Keel: eng
  • ISBN-13: 9780309710282
  • Formaat - EPUB+DRM
  • Hind: 23,39 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: 88 pages
  • Ilmumisaeg: 10-Nov-2023
  • Kirjastus: National Academies Press
  • Keel: eng
  • ISBN-13: 9780309710282

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

Artificial intelligence (AI) has the potential to aid new mathematical discoveries. Particularly as the amount of data available grows beyond what any person can study, AI can be useful in its power to identify patterns in data and refine relationships between properties. Sponsored by the National Science Foundation, the National Academies of Sciences, Engineering, and Medicine Board on Mathematical Sciences and Analytics convened a 3-day public virtual workshop on June 12-14, 2023, to bring together stakeholders to discuss the state of the art and current challenges and opportunities to advance research in using AI for mathematical reasoning. This publication summarizes the presentations and discussion of the workshop.

Table of Contents



Front Matter 1 Introduction 2 Overview and Grand Vision 3 Case Studies 4 Current Challenges and Barriers 5 Technical Advances Required to Expand Artificial Intelligence for Mathematical Reasoning 6 Roles for Stakeholders 7 Conclusion Appendixes Appendix A: Workshop Agenda Appendix B: Biographical Information for Planning Committee Members