Artificial Intelligence to Assist Mathematical Reasoning

Proceedings of a Workshop

Division on Engineering and Physical Sciences, Engineering, and Medicine National Academies of Sciences, Board on Mathematical Sciences and Analytics, et al.

EPUB
ca. 22,53 €
Amazon iTunes Thalia.de Weltbild.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

National Academies Press img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Mathematik

Beschreibung

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.

Weitere Titel von diesem Autor
Cover Climate Security in Central America
Climate Security in Central America
Division on Engineering and Physical Sciences
23,56 €
Cover Thriving in Space
Thriving in Space
Division on Engineering and Physical Sciences
61,12 €
Cover Risk Analysis Methods for Nuclear War and Nuclear Terrorism
Risk Analysis Methods for Nuclear War and Nuclear Terrorism
Division on Engineering and Physical Sciences
18,74 €
Cover Origins, Worlds, and Life
Origins, Worlds, and Life
Division on Engineering and Physical Sciences
87,32 €
Cover Risk Analysis Methods for Nuclear War and Nuclear Terrorism
Risk Analysis Methods for Nuclear War and Nuclear Terrorism
Division on Engineering and Physical Sciences
28,78 €
Cover Climate Security in South Asia
Climate Security in South Asia
Division on Engineering and Physical Sciences
21,15 €
Cover Pathways to an Equitable and Just Energy Transition
Pathways to an Equitable and Just Energy Transition
Division on Engineering and Physical Sciences
14,97 €
Cover Carbon Dioxide Utilization Markets and Infrastructure
Carbon Dioxide Utilization Markets and Infrastructure
Division on Engineering and Physical Sciences
31,20 €
Cover Logistics and Manufacturing Under Attack: Future Pathways
Logistics and Manufacturing Under Attack: Future Pathways
Division on Engineering and Physical Sciences
23,73 €
Cover Leveraging Commercial Space for Earth and Ocean Remote Sensing
Leveraging Commercial Space for Earth and Ocean Remote Sensing
Division on Engineering and Physical Sciences
26,23 €
Cover 21st Century Paradigm Change in Performance and Design Metrics
21st Century Paradigm Change in Performance and Design Metrics
Division on Engineering and Physical Sciences
3,72 €
Cover 2017-2018 Assessment of the Army Research Laboratory
2017-2018 Assessment of the Army Research Laboratory
Division on Engineering and Physical Sciences
3,75 €
Cover Growing Threat to Air Force Mission-Critical Electronics
Growing Threat to Air Force Mission-Critical Electronics
Division on Engineering and Physical Sciences
3,75 €
Weitere Titel in dieser Kategorie
Cover Quantum Leaps
Quantum Leaps
Hugh Barker
9,99 €

Kundenbewertungen