หนังสือดิจิตอล > วิทยาศาสตร์ > คณิตศาสตร์ > 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

สนับสนุน

ปกของ 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

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา อังกฤษ ● รูป EPUB ● หน้า 88 ● ISBN 9780309710282 ● บรรณาธิการ Samantha Koretsky ● สำนักพิมพ์ National Academies Press ● การตีพิมพ์ 2023 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 9319917 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

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

49,673 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations

Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations aims to propose a unified approach to elliptic and parabolic equations with bounded and smooth c …

ปกของ Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Abstract Algebra: A Gentle Introduction advantages a trend in mathematics textbook publishing towards smaller, less expensive and brief introductions to primary courses. The authors move away from th …

ปกของ Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Computational Intelligence Assisted Design framework mobilises computational resources, makes use of multiple Computational Intelligence (CI) algorithms and reduces computational costs. This book pro …

ปกของ Abduhamid Dzhuraev: Degenerate and Other Problems

Abduhamid Dzhuraev: Degenerate and Other Problems

This Monograph contains a collection of problems arising in partial differential equations investigated by means of complex analysis approached in elementary ways. …

ปกของ Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Elsa (University di Torino, Italy) Abbena & Alfred (University of Maryland, College Park, MD) Gray: Modern Differential Geometry of Curves and Surfaces with Mathematica

Presenting theory while using Mathematica in a complementary way, Modern Differential Geometry of Curves and Surfaces with Mathematica, the third edition of Alfred Gray’s famous textbook, covers how …

ปกของ Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

Boris V. Gnedenko & Victor Yu. Korolev: Random Summation

This book provides an introduction to the asymptotic theory of random summation, combining a strict exposition of the foundations of this theory and recent results. It also includes a description of …

ปกของ D. Yogi (University of South Florida, USA) Goswami & Frank (University of Colorado, Boulder, USA (retired)) Kreith: Energy Efficiency and Renewable Energy Handbook

D. Yogi (University of South Florida, USA) Goswami & Frank (University of Colorado, Boulder, USA (retired)) Kreith: Energy Efficiency and Renewable Energy Handbook

For the Movers, Shakers, and Policy Makers in Energy Engineering and Related Industries The latest version of a bestselling reference, Energy Efficiency and Renewable Energy Handbook, Second Edition …

ปกของ Volodymyr Nekrashevych: Groups and Topological Dynamics

Volodymyr Nekrashevych: Groups and Topological Dynamics

This book is devoted to group-theoretic aspects of topological dynamics such as studying groups using their actions on topological spaces, using group theory to study symbolic dynamics, and other con …

ปกของ R Raghavan: A Method for Computing Unsteady Flows in Porous Media

R Raghavan: A Method for Computing Unsteady Flows in Porous Media

Self-contained and concise, this Research Note provides a basis to study unsteady flow in saturated porous media. It provides for the development of algorithms that examine three-dimensional flows su …

ปกของ Bipin Singh Koranga & Vivek Kumar Nautiyal: Special Functions and their Application

Bipin Singh Koranga & Vivek Kumar Nautiyal: Special Functions and their Application

Special functions are mathematical functions that have established names and notations due to their importance in mathematical analysis, functional analysis, geometry, physics, or other applications. …

หน้าต่อไป >>>