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

202 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

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 - Reference Manual on Scientific Evidence, Häftad

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, 2025

1 134 kr

and Medicine National Academies of Sciences, Engineering, Division of Behavioral and Social Sciences and Education, Board on Science Education, and Sensory Sciences Board on Behavioral, Cognitive, Committee on How People Learn II: The Science and Practice of Learning - How People Learn II, Häftad

How People Learn II

and Medicine National Academies of Sciences, Engineering, Division of Behavioral and Social Sciences and Education, Board on Science Education, and Sensory Sciences Board on Behavioral, Cognitive, Committee on How People Learn II: The Science and Practice of Learning

Häftad, 2018

445 kr

and Medicine National Academies of Sciences, Engineering, Division of Behavioral and Social Sciences and Education, Health and Medicine Division, and Sensory Sciences Board on Behavioral, Cognitive, Board on Health Sciences Policy, Committee on the Health and Medical Dimensions of Social Isolation and Loneliness in Older Adults - Social Isolation and Loneliness in Older Adults, Häftad

Social Isolation and Loneliness in Older Adults

and Medicine National Academies of Sciences, Engineering, Division of Behavioral and Social Sciences and Education, Health and Medicine Division, and Sensory Sciences Board on Behavioral, Cognitive, Board on Health Sciences Policy, Committee on the Health and Medical Dimensions of Social Isolation and Loneliness in Older Adults

Häftad, 2020

704 kr

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

Why Indoor Chemistry Matters

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

E-bok
2022

471 kr

Hoppa över listan

Du kanske också är intresserad av

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

Data Science for Undergraduates

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

E-bok
2018

605 kr

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 - Risk Analysis Methods for Nuclear War and Nuclear Terrorism, Häftad

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, 2023

256 kr

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

Risk Analysis Methods for Nuclear War and Nuclear Terrorism

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

E-bok
2024

303 kr

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

Risk Analysis Methods for Nuclear War and Nuclear Terrorism

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

E-bok
2023

252 kr

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 - Risk Analysis Methods for Nuclear War and Nuclear Terrorism, Häftad

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, 2024

209 kr

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 - Reproducibility and Replicability in Science, Häftad

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, 2019

589 kr

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

Roundtable on Data Science Postsecondary Education

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

E-bok
2020

824 kr

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 - Foundational Research Gaps and Future Directions for Digital Twins, Häftad

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, 2024

328 kr