Artificial Intelligence to Assist Mathematical Reasoning

Proceedings of a Workshop

AvBoard on Mathematical Sciences and Analytics,Division on Engineering and Physical Sciences

E-bok
Engelska, 2023

301 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

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

Hoppa över listan

Mer från samma författare

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

584 kr

Board on Mathematical Sciences and Analytics, Committee on Applied and Theoretical Statistics, Board on Energy and Environmental Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, and Medicine National Academies of Sciences, Engineering, Linda Casola - Enhancing Urban Sustainability with Data, Modeling, and Simulation, E-bok

Enhancing Urban Sustainability with Data, Modeling, and Simulation

Board on Mathematical Sciences and Analytics, Committee on Applied and Theoretical Statistics, Board on Energy and Environmental Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, and Medicine National Academies of Sciences, Engineering, Linda Casola

E-bok
2019

795 kr

Board on Science Education, Board on Mathematical Sciences and Analytics, Division of Behavioral and Social Sciences and Education, Division on Engineering and Physical Sciences, and Medicine National Academies of Sciences, Engineering, Linda Casola, Tiffany E. Taylor - Increasing Student Success in Developmental Mathematics, E-bok

Increasing Student Success in Developmental Mathematics

Board on Science Education, Board on Mathematical Sciences and Analytics, Division of Behavioral and Social Sciences and Education, Division on Engineering and Physical Sciences, and Medicine National Academies of Sciences, Engineering, Linda Casola, Tiffany E. Taylor

E-bok
2019

647 kr

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

Life-Cycle Decisions for Biomedical Data

Committee on Forecasting Costs for Preserving and Promoting Access to Biomedical Data, Board on Mathematical Sciences and Analytics, Committee on Applied and Theoretical Statistics, Computer Science and Telecommunications Board, Board on Life Sciences, Board on Research Data and Information, 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
2020

1 003 kr

Board on Mathematical Sciences and Analytics, Committee on Applied and Theoretical Statistics, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, Board on Life Sciences, Division on Earth and Life Studies, Board on Research Data and Information, Policy and Global Affairs, and Medicine National Academies of Sciences, Engineering, Linda Casola - Planning for Long-Term Use of Biomedical Data, E-bok

Planning for Long-Term Use of Biomedical Data

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

E-bok
2020

552 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

795 kr

Committee on Realizing Opportunities for Advanced and Automated Workflows in Scientific Research, Board on Research Data and Information, Board on Mathematical Sciences and Analytics, Committee on Applied and Theoretical Statistics, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, Policy and Global Affairs, and Medicine National Academies of Sciences, Engineering - Automated Research Workflows for Accelerated Discovery, E-bok

Automated Research Workflows for Accelerated Discovery

Committee on Realizing Opportunities for Advanced and Automated Workflows in Scientific Research, Board on Research Data and Information, Board on Mathematical Sciences and Analytics, Committee on Applied and Theoretical Statistics, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, Policy and Global Affairs, and Medicine National Academies of Sciences, Engineering

E-bok
2022

341 kr

Board on Atmospheric Sciences and Climate, Board on Earth Sciences and Resources, Ocean Studies Board, Board on Mathematical Sciences and Analytics, Computer Science and Telecommunications Board, Division on Earth and Life Studies, Division on Engineering and Physical Sciences, and Medicine National Academies of Sciences, Engineering, Rachel Silvern - Machine Learning and Artificial Intelligence to Advance Earth System Science, E-bok

Machine Learning and Artificial Intelligence to Advance Earth System Science

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

E-bok
2022

292 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

584 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

248 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

292 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

244 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

202 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

573 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

795 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

316 kr