Buchumschlag

Mathematical Definition and Systematization of Puzzle Rules

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Maeda, Itsuki, Inoue, Yasuhiro
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence History and Overview
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Is Mathematics Obsolete?
von: Avigad, Jeremy
Veröffentlicht: (2025)

Shaping the Future of Mathematics in the Age of AI
von: Commelin, Johan, et al.
Veröffentlicht: (2026)

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
von: Weatherall, James Owen, et al.
Veröffentlicht: (2026)

Using Large Language Models to Study Mathematical Practice
von: D'Alessandro, William
Veröffentlicht: (2025)

Artificial Intelligence and the Structure of Mathematics
von: Barkeshli, Maissam, et al.
Veröffentlicht: (2026)

Revisiting the Sleeping Beauty problem
von: Piva, Paulo S., et al.
Veröffentlicht: (2024)

From Good to Great: Improving Math Reasoning with Tool-Augmented Interleaf Prompting
von: Chen, Nuo, et al.
Veröffentlicht: (2023)

Discovering mathematical concepts through a multi-agent system
von: Aggarwal, Daattavya, et al.
Veröffentlicht: (2026)

Mathematicians in the age of AI
von: Avigad, Jeremy
Veröffentlicht: (2026)

On the mechanical creation of mathematical concepts
von: G, Asvin
Veröffentlicht: (2025)

The Evolution of Rough Sets 1970s-1981
von: Marek, Viktor, et al.
Veröffentlicht: (2025)

Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery
von: Duede, Eamon, et al.
Veröffentlicht: (2024)

A Probability Puzzle
von: Otero, Daniel
Veröffentlicht: (2024)

In between myth and reality: AI for math -- a case study in category theory
von: Diaconescu, Răzvan
Veröffentlicht: (2025)

From Euler to AI: Unifying Formulas for Mathematical Constants
von: Raz, Tomer, et al.
Veröffentlicht: (2025)

Stamps and Mathematics
von: Ivanova, Nataliya M.
Veröffentlicht: (2024)

The Folding Mathematics
von: Morye, Archana S.
Veröffentlicht: (2025)

Evaluating the Design Features of an Intelligent Tutoring System for Advanced Mathematics Learning
von: Fang, Ying, et al.
Veröffentlicht: (2024)

Teaching Mathematics for Economists
von: Hillebrand, Eric
Veröffentlicht: (2025)

Fifty Years of Excellence: The Summer School of Mathematical Physics of the National Group of Mathematical Physics
von: Ruggeri, Tommaso, et al.
Veröffentlicht: (2025)

An Episode in The Old Mathematical Intelligencer
von: Lamm, Christoph
Veröffentlicht: (2025)

Fraudulent Publishing in the Mathematical Sciences
von: Agricola, Ilka, et al.
Veröffentlicht: (2025)

AlephZero and Mathematical Experience
von: DeDeo, Simon
Veröffentlicht: (2023)

Mathematics in art, for art and as art
von: Esteban, Maria J.
Veröffentlicht: (2025)

Boolos' Hardest Logic Puzzle Ever can be solved in no less than three admissible questions: axiomatic framework and rigorous proof
von: Colomina-Almiñana, J. J., et al.
Veröffentlicht: (2018)

Approximating Mathematical Constants using Minecraft
von: Lynch, Molly, et al.
Veröffentlicht: (2024)

Elements of the Theory of Probability and Mathematical Statistics
von: Chinarova, Lidiia L., et al.
Veröffentlicht: (2024)

From Concrete to Abstract in Indian Mathematics
von: Dasgupta, Jaidev
Veröffentlicht: (2024)

AI for Mathematics: Progress, Challenges, and Prospects
von: Ju, Haocheng, et al.
Veröffentlicht: (2026)

Indigenous Mathematics I. Smoke Telegraphy
von: Ball, Rowena
Veröffentlicht: (2025)

The Nature of Reasoning in Theology, Philosophy, and Mathematics
von: Mangum, Chad R.
Veröffentlicht: (2025)

Mathematics -- an imagined tool for rational cognition
von: Čulina, Boris
Veröffentlicht: (2023)

Max/Min Puzzles in Geometry
von: Parks, James M
Veröffentlicht: (2022)

Timaeus' Puzzle of the Innumerable Interstices in a Universe Without Void
von: Brisson, Luc, et al.
Veröffentlicht: (2025)

Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems
von: Davis, Ernest, et al.
Veröffentlicht: (2023)

Using GXWeb for Theorem Proving and Mathematical Modelling
von: Todd, Philip, et al.
Veröffentlicht: (2024)

Mathematics education research must be useful for the classroom
von: Essien, Anthony A., et al.
Veröffentlicht: (2025)

Teaching "Foundations of Mathematics" with the Lean Theorem Prover
von: Bottoni, Mattia Luciano, et al.
Veröffentlicht: (2025)

Max/Min Puzzles in Geometry IV
von: Parks, James M
Veröffentlicht: (2025)

Max/Min Puzzles in Geometry III
von: Parks, James M
Veröffentlicht: (2022)