Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop

Paperback

Currently unavailable to order

ISBN10: 0309710251
ISBN13: 9780309710251
Publisher: National Academies Press
Published: Dec 10 2023
Pages: 88
Language: English

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.

Also from

Division of Behavioral and Social Sciences and Education

National Academies of Sciences Engineering and Medicine

Health and Medicine Division

Paperback

$24.00

General Mathematics

View All

Complexity and Real Computation

Cucker, Felipe

Shub, Michael

Blum, Lenore

Hardcover

$152.60

Boundary Integral and Singularity Methods for Linearized Viscous Flow

Pozrikidis, C.

Paperback

$92.40

Circles Disturbed: The Interplay of Mathematics and Narrative

Hardcover

$111.65

The Golden Number: Pythagorean Rites and Rhythms in the Development of Western Civilization

Ghyka, Matila C.

Hardcover

From $24.99

Formulations: Architecture, Mathematics, Culture

Feynman, Richard P.

Leighton, Robert B.

Rodriguez, Patty

Illinois Assessment of Readiness (IAR) Test Practice: 3rd Grade Math Practice Workbook and Full-length Online Assessments: Illinois Test Study Guide

Learning, Lumos

Paperback

$27.44

Miller, Maria

Paperback

$25.60

The Math Book

Paperback

$20.89

A New Kind of Science

Wolfram, Stephen

Paperback

$14.20

ALEKS Math Placement Test Prep 2026: 1200 Verified Practice Questions with Accurate Answer Keys, Step-by-Step Worked Solutions, and Clear Concept Expl

Reid, Marcus L.

Everything Is Predictable: How Bayesian Statistics Explain Our World

Chivers, Tom

Paperback

$18.99

Microbiology by OpenStax

Schneegurt, Mark

Thi Tu, Anh-Hue

Ryan, Mark

Paperback

$21.84

Kumon Math Games

Paperback

$10.40

Teriokhin, Vadim

Paperback

$11.88

Ruler & Compass: Practical Geometric Constructions

Sutton, Andrew

Paperback

$8.50

Real Analysis: A Long-Form Mathematics Textbook

Cummings, Jay

Paperback

$30.00

Euclid's Elements

Euclid Au

Hardcover

$39.90

Trigonometry for Dummies

Sterling, Mary Jane

Paperback

$23.74

Mathematics

Mendelson, Elliott

Dudley, Underwood

Paperback

$18.95

Concrete Mathematics: A Foundation for Computer Science

Knuth, Donald

Graham, Ronald

Logicomix: An Epic Search for Truth

Doxiadis, Apostolos

Papadimitriou, Christos

Paperback

From $14.99

Math Mammoth Grade 4-A Worktext, Canadian Version

Miller, Maria

Paperback

$27.03

Mathematica: A Secret World of Intuition and Curiosity

Bessis, David

Hardcover

$28.50

Play & Learn Math: Number Sense

Kunze, Susan

Paperback

$11.39

Sciencia: Mathematics, Physics, Chemistry, Biology, and Astronomy for All

Tweed, Matt

Watkins, Matthew

Howell, Russell

Warren, Peggy

Wright, Susan

Expolog

Other

$6.60

10 Minute Daily Math Grade 4

Turnbull, Demetra

Paperback

$16.14

The Strategy of Conflict

Paperback

$29.94

Mental Math for Pilots: A Study Guide

McElroy, Ronald D.

Paperback

$23.70

Machine Learning with PyTorch and Scikit-Learn: Develop machine learning and deep learning models with Python

Raschka, Sebastian

Liu, Yuxi (Hayden)

Simply Math

Hardcover

$17.09

Mechanical Engineering for Makers: A Hands-On Guide to Designing and Making Physical Things

Najia, Samer

Bunnell, Brian

Paperback

$28.49

Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop

Currently unavailable to order

Please enter your email and a message will be sent to you when this product becomes available on our website.

Also from

National Academies of Sciences Engineering and Medicine

Rise and Thrive with Science: Teaching Pk-5 Science and Engineering

Social Media and Adolescent Health

A New Vision for High-Quality Preschool Curriculum

Early Relational Health: Building Foundations for Child, Family, and Community Well-Being

Effects of Human-Caused Greenhouse Gas Emissions on U.S. Climate, Health, and Welfare

Applying Neurobiological Insights on Stress to Foster Resilience Across Life Stages: Proceedings of a Workshop

How People Learn II: Learners, Contexts, and Cultures

Communications, Cyber Resilience, and the Future of the U.S. Electric Power System: Proceedings of a Workshop

Open Science by Design: Realizing a Vision for 21st Century Research

Breastfeeding in the United States: Strategies to Support Families and Achieve National Goals

The Comprehensive Autism Care Demonstration: Solutions for Military Families

Potential Environmental Effects of Nuclear War

School Active Shooter Drills: Mitigating Risks to Mental, Emotional, and Behavioral Health

Army Medical Research and Development Infrastructure Planning: Proceedings of a Workshop

Community Support, Partnerships, and Inclusive Environments for Black Students and Professionals in Science, Engineering, and Medicine: Proceedings of

Strategic Report on Research and Development in Biotechnology for Defense Innovation

Newborn Screening in the United States: A Vision for Sustaining and Advancing Excellence

Heritable Genetic Modification in Food Animals

Accelerating the Use of Pathogen Genomics and Metagenomics in Public Health: Proceedings of a Workshop

Increasing the Utility of Wastewater-Based Disease Surveillance for Public Health Action: A Phase 2 Report

A Vision for Continental-Scale Biology: Research Across Multiple Scales

Ending Unequal Treatment: Strategies to Achieve Equitable Health Care and Optimal Health for All

Adult Learning in the Military Context

Law Enforcement Use of Probabilistic Genotyping, Forensic DNA Phenotyping, and Forensic Investigative Genetic Genealogy Technologies: Proceedings of a

Climate Change and Human Migration: An Earth Systems Science Perspective: Proceedings of a Workshop

Nutrient Requirements of Beef Cattle: Eighth Revised Edition

Addressing Sickle Cell Disease: A Strategic Plan and Blueprint for Action

Toward a Post-Pandemic World: Lessons from Covid-19 for Now and the Future: Proceedings of a Workshop

Corrosion of Buried Steel at New and In-Service Infrastructure

Future Planning for the Public Health Emergency Preparedness Enterprise: Lessons Learned from the Covid-19 Pandemic: Proceedings of a Workshop

Experimental Approaches to Improving Research Funding Programs: Proceedings of a Workshop

Progress and Priorities in Ocean Drilling: In Search of Earth's Past and Future

Data and Metrics for the Dod Sbir and Sttr Programs: Proceedings of a Workshop

Exploring Linkages Between Soil Health and Human Health

Carbon Utilization Infrastructure, Markets, and Research and Development: A Final Report

Guidance on Pfas Exposure, Testing, and Clinical Follow-Up

Exploring the Treatment and Management of Chronic Pain and Implications for Disability Determination: Proceedings of a Workshop

Faith-Health Collaboration to Improve Community and Population Health: Proceedings of a Workshop

Population Health Science in the United States: Trends, Evidence, and Implications for Policy: Proceedings of a Joint Symposium

The State of Anti-Black Racism in the United States: Reflections and Solutions from the Roundtable on Black Men and Black Women in Science, Engineerin

Neuroscience Data in the Cloud: Opportunities and Challenges: Proceedings of a Workshop

Machine Learning for Safety-Critical Applications: Opportunities, Challenges, and a Research Agenda

The Future of Youth Development: Building Systems and Strengthening Programs

Assessing and Advancing Progress in the Delivery of High-Quality Cancer Care: Proceedings of a Workshop

Equity in K-12 Stem Education: Framing Decisions for the Future

Serious Illness Care Research: Exploring Current Knowledge, Emerging Evidence, and Future Directions: Proceedings of a Workshop

Constructing Valid Geospatial Tools for Environmental Justice

Suicide Prevention in Indigenous Communities: Proceedings of a Workshop

Exploring the Role of Health Professional Students and Trainees as Members of the Health Workforce During Crises: Proceedings of a Workshop

Exploring the State of the Science of Stem Cell Transplantation and Posttransplant Disability: Proceedings of a Workshop

Elementary Particle Physics: The Higgs and Beyond

Medications and Obesity: Exploring the Landscape and Advancing Comprehensive Care: Proceedings of a Workshop

Achieving Health Equity Via the Affordable Care ACT: Promises, Provisions, and Making Reform a Reality for Diverse Patients: Workshop Summary

Advancing the Discipline of Regulatory Science for Medical Product Development: An Update on Progress and a Forward-Looking Agenda: Workshop Summary

Transitioning Toward Sustainability: Advancing the Scientific Foundation: Proceedings of a Workshop

Lessons Learned in Health Professions Education During the Covid-19 Pandemic, Part 1: Proceedings of a Workshop

Environmental Neuroscience: Advancing the Understanding of How Chemical Exposures Impact Brain Health and Disease: Proceedings of a Workshop

Immigration as a Social Determinant of Health: Proceedings of a Workshop

Air Force Software Sustainment and Maintenance of Weapons Systems

Offshore Situation Room: Enhancing Resilience to Offshore Oil Disasters in the Gulf of Mexico: Proceedings of a Workshop

Powering Science: Nasa's Large Strategic Science Missions

NASA at a Crossroads: Maintaining Workforce, Infrastructure, and Technology Preeminence in the Coming Decades

The Age of AI in the Life Sciences: Benefits and Biosecurity Considerations

The Current Status and Future Direction of High-Magnetic-Field Science and Technology in the United States

Approaches to Address Unmet Research Needs in Traumatic Brain Injury Among Older Adults: Proceedings of a Workshop

Pathways to Reduce Child Poverty: Impacts of Federal Tax Credits

Law Enforcement Use of Predictive Policing Approaches: Proceedings of a Workshop

Management of Legionella in Water Systems

Meeting Future U.S. Mineral Resource Needs: The Role of the U.S. Geological Survey Mineral Resources Program

Women's Empowerment, Population Dynamics, and Socioeconomic Development

Nuclear Terrorism: Assessment of U.S. Strategies to Prevent, Counter, and Respond to Weapons of Mass Destruction

Integrating Public and Ecosystem Health Systems to Foster Resilience: A Workshop to Identify Research to Bridge the Knowledge-To-Action Gap: Proceedin

Defense Software for a Contested Future: Agility, Assurance, and Incentives

K-12 Stem Education and Workforce Development in Rural Areas

Trust and Confidence at the Interfaces of the Life Sciences and Society: Does the Public Trust Science? a Workshop Summary