Catalog > Naturwissenschaft > Mathematik > Board on Mathematical Sciences and Analytics & Division on Engineering and Physical Sciences: Artificial Intelligence to Assist Mathematical Reasoning (ePUB)

Board on Mathematical Sciences and Analytics & Division on Engineering and Physical Sciences
Artificial Intelligence to Assist Mathematical Reasoning [EPUB ebook]
Proceedings of a Workshop

Support

Cover von Board on Mathematical Sciences and Analytics & Division on Engineering and Physical Sciences: Artificial Intelligence to Assist Mathematical Reasoning (ePUB)

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.

€23.14

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format EPUB ● Seiten 88 ● ISBN 9780309710282 ● Herausgeber Samantha Koretsky ● Verlag National Academies Press ● Erscheinungsjahr 2023 ● herunterladbar 3 mal ● Währung EUR ● ID 9319917 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Board on Mathematical Sciences and Analytics Division on Engineering and Physical Sciences Samantha Koretsky and Medicine National Academies of Sciences Engineering

50.053 Ebooks in dieser Kategorie

Cover von Boris Brodsky: Change-Point Analysis in Nonstationary Stochastic Models

Boris Brodsky: Change-Point Analysis in Nonstationary Stochastic Models

This book covers the development of methods for detection and estimation of changes in complex systems. These systems are generally described by nonstationary stochastic models, which comprise both s …

Cover von Andrew V. (Georgia Southern University, Statesboro, USA) Sills: An Invitation to the Rogers-Ramanujan Identities

Andrew V. (Georgia Southern University, Statesboro, USA) Sills: An Invitation to the Rogers-Ramanujan Identities

The Rogers–Ramanujan identities are a pair of infinite series—infinite product identities that were first discovered in 1894. Over the past several decades these identities, and identities of simila …

Cover von Ossama Abdelkhalik: Algorithms for Variable-Size Optimization

Ossama Abdelkhalik: Algorithms for Variable-Size Optimization

Many systems architecture optimization problems are characterized by a variable number of optimization variables. Many classical optimization algorithms are not suitable for such problems. The book p …

Cover von Fiacco: Mathematical Programming with Data Perturbations II, Second Edition

Fiacco: Mathematical Programming with Data Perturbations II, Second Edition

This book presents theoretical results, including an extension of constant rank and implicit function theorems, continuity and stability bounds results for infinite dimensional problems, and the inte …

Cover von Weinan E: Applied Stochastic Analysis

Weinan E: Applied Stochastic Analysis

This is a textbook for advanced undergraduate students and beginning graduate students in applied mathematics. It presents the basic mathematical foundations of stochastic analysis (probability theor …

Cover von Thane Plambeck: Barrycades and Septoku

Thane Plambeck: Barrycades and Septoku

The Gathering 4 Gardner is a biannual conference founded-and for many years organized-by Tom Rodgers to celebrate the spirit of Martin Gardner. While primarily concerned with recreational mathematics …

Cover von Vladimir Vinogradov: Refined Large Deviation Limit Theorems

Vladimir Vinogradov: Refined Large Deviation Limit Theorems

This is a developing area of modern probability theory, which has applications in many areas. This volume is devoted to the systematic study of results on large deviations in situations where Cramér‘ …

Cover von H.F Jones: Groups, Representations and Physics

H.F Jones: Groups, Representations and Physics

Illustrating the fascinating interplay between physics and mathematics, Groups, Representations and Physics, Second Edition provides a solid foundation in the theory of groups, particularly group rep …

Cover von Florin Bobaru & John T. Foster: Handbook of Peridynamic Modeling

Florin Bobaru & John T. Foster: Handbook of Peridynamic Modeling

This handbook covers the peridynamic modeling of failure and damage. Peridynamics is a reformulation of continuum mechanics based on integration of interactions rather than spatial differentiation of …

Cover von Alex Bellos: Can You Solve My Problems?

Alex Bellos: Can You Solve My Problems?

A good puzzle is ingenious, frustrating and a-ha!-inducing. In this entertaining and utterly addictive book, Bellos will challenge you to pit your wits against pangrams, hidatos, chessboard puzzles a …

nächste Seite >>>