Artificial Intelligence to Assist Mathematical Reasoning

Proceedings of a Workshop

Avand Medicine National Academies of Sciences, Engineering,Division on Engineering and Physical Sciences

Häftad, Engelska, 2023

263 kr

Tillfälligt slut

Beskrivning

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.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Mer från samma författare

Reference Manual on Scientific Evidence

Federal Judicial Center, and Medicine National Academies of Sciences, Engineering, Policy and Global Affairs, and Law Committee on Science, Technology, Fourth Edition Committee on Science for JudgesDevelopment of the Reference Manual on Scientific Evidence

Häftad

1 111 kr

Why Indoor Chemistry Matters

and Medicine National Academies of Sciences, Engineering, Division on Earth and Life Studies, Board on Chemical Sciences and Technology, Committee on Emerging Science on Indoor Chemistry

Häftad

414 kr

Frontiers in Synthetic Moiré Quantum Matter

and Medicine National Academies of Sciences, Engineering, Division on Engineering and Physical Sciences, Board on Physics and Astronomy, Condensed Matter and Materials Research Committee, Robert Pool

Häftad

309 kr

Hoppa över listan

Du kanske också är intresserad av

Risk Analysis Methods for Nuclear War and Nuclear Terrorism

and Medicine National Academies of Sciences, Engineering, Policy and Global Affairs, Division on Earth and Life Studies, Division on Engineering and Physical Sciences, Committee on International Security and Arms Control, Nuclear and Radiation Studies Board, Board on Mathematical Sciences and Analytics, Committee on Risk Analysis Methods for Nuclear War and Nuclear Terrorism

Häftad

332 kr

Risk Analysis Methods for Nuclear War and Nuclear Terrorism

and Medicine National Academies of Sciences, Engineering, Policy and Global Affairs, Division on Earth and Life Studies, Division on Engineering and Physical Sciences, Committee on International Security and Arms Control, Nuclear and Radiation Studies Board, Board on Mathematical Sciences and Analytics, Committee on Risk Analysis Methods for Nuclear War and Nuclear Terrorism

Häftad

263 kr

Data Science for Undergraduates

and Medicine National Academies of Sciences, Engineering, Division of Behavioral and Social Sciences and Education, Board on Science Education, Division on Engineering and Physical Sciences, Committee on Applied and Theoretical Statistics, Board on Mathematical Sciences and Analytics, Computer Science and Telecommunications Board, Committee on Envisioning the Data Science Discipline: The Undergraduate Perspective

Häftad

546 kr

Roundtable on Data Science Postsecondary Education

and Medicine National Academies of Sciences, Engineering, Division of Behavioral and Social Sciences and Education, Division on Engineering and Physical Sciences, Board on Science Education, Computer Science and Telecommunications Board, Committee on Applied and Theoretical Statistics, Board on Mathematical Sciences and Analytics, Linda Casola

Häftad

704 kr

Reproducibility and Replicability in Science

and Medicine National Academies of Sciences, Engineering, Policy and Global Affairs, and Public Policy Committee on Science, Engineering, Medicine, Board on Research Data and Information, Division on Engineering and Physical Sciences, Committee on Applied and Theoretical Statistics, Board on Mathematical Sciences and Analytics, Division on Earth and Life Studies, Nuclear and Radiation Studies Board, Division of Behavioral and Social Sciences and Education, Committee on National Statistics, and Sensory Sciences Board on Behavioral, Cognitive, Committee on Reproducibility and Replicability in Science

Häftad

762 kr

Planning for Long-Term Use of Biomedical Data

and Medicine National Academies of Sciences, Engineering, Policy and Global Affairs, Board on Research Data and Information, Division on Earth and Life Studies, Board on Life Sciences, Division on Engineering and Physical Sciences, Computer Science and Telecommunications Board, Committee on Applied and Theoretical Statistics, Board on Mathematical Sciences and Analytics, Linda Casola

Häftad

486 kr

Foundational Research Gaps and Future Directions for Digital Twins

and Medicine National Academies of Sciences, Engineering, National Academy of Engineering, Division on Earth and Life Studies, Division on Engineering and Physical Sciences, Board on Atmospheric Sciences and Climate, Board on Life Sciences, Computer Science and Telecommunications Board, Committee on Applied and Theoretical Statistics, Board on Mathematical Sciences and Analytics, Committee on Foundational Research Gaps and Future Directions for Digital Twins

Häftad

414 kr

Life-Cycle Decisions for Biomedical Data

and Medicine National Academies of Sciences, Engineering, Policy and Global Affairs, Division on Earth and Life Studies, Division on Engineering and Physical Sciences, Board on Research Data and Information, Board on Life Sciences, Computer Science and Telecommunications Board, Committee on Applied and Theoretical Statistics, Board on Mathematical Sciences and Analytics, Committee on Forecasting Costs for Preserving and Promoting Access to Biomedical Data

Häftad

905 kr

Machine Learning and Artificial Intelligence to Advance Earth System Science

and Medicine National Academies of Sciences, Engineering, Division on Engineering and Physical Sciences, Division on Earth and Life Studies, Computer Science and Telecommunications Board, Board on Mathematical Sciences and Analytics, Ocean Studies Board, Board on Earth Sciences and Resources, Board on Atmospheric Sciences and Climate, Rachel Silvern

Häftad

263 kr