Home » Artificial Intelligence to Assist Mathematical Reasoning
Product Image
National Academies of Sciences | Engineering | and Medicine | Division on Engineering and Physical Sciences | Board on Mathematical Sciences and Analytics

Artificial Intelligence to Assist Mathematical Reasoning

★★★★★
★★★★★
€23.99
A01=Board on Mathematical Sciences and Analytics
A01=Division on Engineering and Physical Sciences
A01=National Academies of Sciences
and Medicine
Author_Board on Mathematical Sciences and Analytics
Author_Division on Engineering and Physical Sciences
Author_National Academies of Sciences
Category=U
Category=UB
Engineering
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction

Product details

  • ISBN 9780309710251
  • Dimensions: 152 x 229mm
  • Publication Date: 10 Dec 2023
  • Publisher: National Academies Press
  • Publication City/Country: US
  • Product Form: Paperback
Delivery/Collection within 10-20 working days

Our Delivery Time Frames Explained
2-4 Working Days: Available in-stock

10-20 Working Days: On Backorder

Will Deliver When Available: On Pre-Order or Reprinting

We ship your order once all items have arrived at our warehouse and are processed. Need those 2-4 day shipping items sooner? Just place a separate order for them!

Description

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